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

# Darth bandwagon
(, Sat 7 Jan 2006, 13:38, archived)
# i'm glad that's a redex
(, Sat 7 Jan 2006, 13:39, archived)
# Redex
Do you mean an expression matching the left hand side of a reduction rule or definition?
(, Sat 7 Jan 2006, 13:49, archived)
# I think
(I hope) that's the point.
(, Sat 7 Jan 2006, 13:49, archived)
# Make your own mind up matey
(, Sat 7 Jan 2006, 13:53, archived)
#
(, Sat 7 Jan 2006, 13:41, archived)
# hahaha
(, Sat 7 Jan 2006, 13:43, archived)
# Arf!
Floral?
(, Sat 7 Jan 2006, 14:37, archived)
# hmm
(, Sat 7 Jan 2006, 14:16, archived)