RedexDo 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)
Home » Messageboard »
XXX » Message 5508983
(Thread)
Redex
jim_bob can herd cats.,
Sat 7 Jan 2006, 13:49,
archived)
Redex jim_bob can herd cats.,
Sat 7 Jan 2006, 13:49,
archived)