b3ta.com board
You are not logged in. Login or Signup
Home » Messageboard » XXX » Message 5508953 (Thread)

# i'm glad that's a redex
(I helped save b3ta! TopUpTheTea you ain't seen me, right?, Sat 7 Jan 2006, 13:39, archived)
# Redex
Do you mean an expression matching the left hand side of a reduction rule or definition?
(I helped save b3ta! jim_bob can herd cats., Sat 7 Jan 2006, 13:49, archived)
# I think
(I hope) that's the point.
(I helped save b3ta! NobbyNobody 21 years a b3tan, Sat 7 Jan 2006, 13:49, archived)
# Make your own mind up matey
(I helped save b3ta! jim_bob can herd cats., Sat 7 Jan 2006, 13:53, archived)