cur/cur-lib at a570889b4dcf01a4a0499d4aad1f5b21864a9ff9 - cur

History

William J. Bowman a570889b4d Fixed inductive elimination Under certain conditions, due to reduction of open terms and non-deterministic matching in Redex, eliminators would not reduced properly. This is now fixed. As a side effect, much of Curnel implementation is in the failure monad. Unsure of how performance is affected.	2016-01-13 20:41:13 -05:00
..
cur	Fixed inductive elimination	2016-01-13 20:41:13 -05:00
info.rkt	Split and reorganized package. Closes #14	2016-01-10 19:10:12 -05:00

William J. Bowman a570889b4d

Under certain conditions, due to reduction of open terms and
non-deterministic matching in Redex, eliminators would not reduced
properly.

This is now fixed. As a side effect, much of Curnel implementation is in
the failure monad.

Unsure of how performance is affected.

2016-01-13 20:41:13 -05:00

cur

Fixed inductive elimination

2016-01-13 20:41:13 -05:00

info.rkt

Split and reorganized package. Closes #14

2016-01-10 19:10:12 -05:00