William J. Bowman 15593e1c98 Fixed issues w/ α-equivalence tests and telescopes		2016-01-08 20:04:57 -05:00
..
redex-core.rkt	Fixed issues w/ α-equivalence tests and telescopes	2016-01-08 20:04:57 -05:00
redex-lang.rkt	Renaming Σ to Δ	2016-01-08 19:52:18 -05:00