Robby Findler e5a84eff8d disable the extra information redex puts for check syntax ... ... because it results in programs that have different identifiers with overlapping ranges in the editor, something that check syntax is not yet prepared to deal with.		2013-05-05 15:43:17 -05:00
..
examples	Refactor Redex so that it tells Check Syntax that non-terminal	2013-05-05 15:43:16 -05:00
private	disable the extra information redex puts for check syntax	2013-05-05 15:43:17 -05:00
scribblings	add stub for enumeration support to Redex	2013-05-01 10:46:11 -05:00
tests	Refactor Redex so that it tells Check Syntax that non-terminal	2013-05-05 15:43:16 -05:00
gui.rkt	added show-derivations to redex	2012-11-06 19:15:53 -06:00
info.rkt	Don't compile test files.	2012-03-13 10:29:13 -04:00
main.rkt	Rackety	2012-03-05 08:12:02 -06:00
pict.rkt	add missing provides	2013-03-19 14:08:28 -05:00
redex.scrbl	move the redex scrbl files into a scribblings subcollection and adjust timeouts	2012-02-29 07:13:36 -06:00
reduction-semantics.rkt	adjust generate-term so that it has an '=' in its concrete	2012-11-01 21:13:39 -05:00
tut-subst.rkt	added a amb-based redex tutorial	2012-02-05 17:24:13 -06:00