krasimir ee97e0b963 bugfix: In AppPredefined.hs, PTrue and PFalse should be declared as constructors

2009-11-13 21:52:53 +00:00

..

AppPredefined.hs

bugfix: In AppPredefined.hs, PTrue and PFalse should be declared as constructors

2009-11-13 21:52:53 +00:00

Compute.hs

simplify the Term again

2009-10-27 15:45:05 +00:00

TypeCheck.hs

simplify the Term again

2009-10-27 15:45:05 +00:00