William J. Bowman fb7d351f12 More evaluation during type-checking ... Replaces all identifiers with their definitions before type-checking. Enables more type-checking, but *realllly* slows down type-checking. Also a test case.		2015-09-29 22:44:39 -04:00
..
redex-core.rkt	Fixed/sped up eliminator reduction. closes #20	2015-09-29 17:56:37 -04:00
redex-lang.rkt	More evaluation during type-checking	2015-09-29 22:44:39 -04:00