Fedor Isakov cf85151dad Types for constraints lang		2020-12-27 10:36:00 +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	Types for constraints lang	2020-12-27 10:36:00 +01:00