William J. Bowman a3c3b0fca7 Fixed/sped up eliminator reduction. closes #20 ... * Made the primitive form of elim (elim t_0 t_1), allowing this form to be considered a value when t_0 and t_1 are values. * Moved definition of values to reduction language, and fixed it. This fixed issues with unique decomposition, and thus fixed reduction of eliminators. * Enabled caching in apply-reduction-relation* to speed up results of recursive calls.		2015-09-29 17:56:37 -04:00
..
redex-core.rkt	Fixed/sped up eliminator reduction. closes #20	2015-09-29 17:56:37 -04:00
redex-lang.rkt	Fixed/sped up eliminator reduction. closes #20	2015-09-29 17:56:37 -04:00