Robby Findler 0e7688349e add syntax error check when the arrow in a reduction ... relation isn't just an identifier add a syntax error check when an identifier appears under two different ellipses depths in the same pattern		2012-09-20 07:09:17 -05:00
..
examples	rename function scale-to-fit to avoid conflict	2012-08-22 22:47:50 -05:00
private	add syntax error check when the arrow in a reduction	2012-09-20 07:09:17 -05:00
scribblings	add a note about "" in with-compound-rewriter	2012-09-09 23:45:54 -05:00
tests	allow identifiers as names, not just strings	2012-08-09 15:28:42 -05:00
gui.rkt
info.rkt	Don't compile test files.	2012-03-13 10:29:13 -04:00
main.rkt
pict.rkt	added names to clauses in define-judgment-form and added	2012-08-08 21:34:28 -05:00
redex.scrbl
reduction-semantics.rkt	add 'match-pattern?'	2012-03-27 12:21:17 -05:00
tut-subst.rkt