Fedor Isakov 0a77dcb33b Coderules types: fix unifiable relation, add missing typing rules		2021-01-06 12:43:55 +01:00
..
fitch	Implement handlers for typeOf query in all types aspects.	2020-11-24 13:41:25 +01:00
lambdacalc	minor: Disable incremental option (that controls Preamble also) for lambdacalc tests	2020-12-15 17:59:10 +03:00
mpscore	Coderules types: fix unifiable relation, add missing typing rules	2021-01-06 12:43:55 +01:00