grigorii.kirgizov a2012219b7 lc: Fix spurious typeConstraints reactivation on forall gen. Fix recursive case in instanceCheck. ... As a consequence, there's a simplification of produceTypeConstraints rules. Also add comments and fix some test cases: some of them are actually typeable. Now tests are correct (checked against Haskell's typechecker) and all pass.		2019-01-28 13:32:32 +03:00
..
samples.lambdacalc.build	Add tests to build script for lambdacalc	2018-11-29 13:23:48 +01:00
samples.lambdacalc.demo	lc: Fix spurious typeConstraints reactivation on forall gen. Fix recursive case in instanceCheck.	2019-01-28 13:32:32 +03:00