Redex
Do you mean an expression matching the left hand side of a reduction rule or definition?
(
jim_bob can herd cats.,
Sat 7 Jan 2006, 13:49,
archived)
I think
(I hope) that's the point.
(
NobbyNobody 21 years a b3tan,
Sat 7 Jan 2006, 13:49,
archived)