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
..
fitch	Apply automatic migrations to FitchProof subproject	2019-01-13 14:27:32 +01:00
lambdacalc	lc: Fix spurious typeConstraints reactivation on forall gen. Fix recursive case in instanceCheck.	2019-01-28 13:32:32 +03:00
mpscore	Cleanup a test: better layout of nested lists.	2019-01-21 11:20:30 +01:00