3 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	f1f7cc0d8c	Add ground? and fix variables-in	2012-05-11 14:57:50 -04:00
Tony Garnock-Jones	7395f9b1fa	Leave Racket's objects opaque to unification.	2012-05-09 13:44:11 -04:00
Tony Garnock-Jones	e9aaa45d9b	WIP	2012-03-20 11:33:54 -04:00