Robby Findler 4b06568982 a little more progress.... ... svn: r11083		2008-08-05 15:17:56 +00:00
..
examples	changed the notation of metafunctions	2008-08-02 21:00:22 +00:00
private	Rewrote `generate' as a macro that rewrites the side-conditions in its	2008-08-04 22:39:23 +00:00
doc.txt	added a main.ss and got rid of planet dependencies and the old crufty subst	2008-07-29 21:55:19 +00:00
gui.ss
HISTORY	changed the notation of metafunctions	2008-08-02 21:00:45 +00:00
info.ss	a little more progress....	2008-08-05 15:17:56 +00:00
main.ss	added a main.ss and got rid of planet dependencies and the old crufty subst	2008-07-29 21:55:19 +00:00
pict.ss
redex.scrbl	a little more progress....	2008-08-05 15:17:56 +00:00
reduction-semantics.ss	changed the notation of metafunctions	2008-08-02 21:00:22 +00:00