racket/collects/redex
2010-04-29 06:42:53 -05:00
..
examples rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
private rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
tests Updates tests for quasiquote printing and .rkt extension 2010-04-29 06:42:53 -05:00
doc.txt removed lots of "the the"s 2009-05-01 21:02:51 +00:00
gui.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
info.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
main.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
pict.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
redex.scrbl Adds a term-equivalence predicate to the test--> and test-->> forms. 2010-04-09 00:08:39 +00:00
reduction-semantics.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00