William J. Bowman 024f4e188e Fixed reduction of (elim ==) ... Fixed eliminator reduction, at least for the == type. Code currently does the minimum required to make #23 work, but may have introduced bugs in the process.		2015-09-26 00:57:36 -04:00
..
redex-core.rkt	Fixed reduction of (elim ==)	2015-09-26 00:57:36 -04:00
redex-lang.rkt	Added query-type command to sugar	2015-09-25 20:08:07 -04:00