4 Commits

Author	SHA1	Message	Date
Casey Klein	ae164d281b	Adds optional `::=' keyword to language definition forms	2010-11-09 10:14:50 -06:00
Casey Klein	4542d071d5	Adds the `test-->>∃' form.	2010-10-28 20:22:35 -05:00
Casey Klein	ad308e32f1	Removes undocumented, unmaintained random testing form	2010-07-21 08:46:27 -05:00
Matthew Flatt	28b4043077	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00