Grigorii Kirgizov ba8ccfce03 minor: Disable incremental option (that controls Preamble also) for lambdacalc tests ... Preamble optimization requires same contracts from programs as full incrementality.		2020-12-15 17:59:10 +03: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	refactoring: Adjust uniqueTag usages for Rule.Tag refactoring	2020-12-15 17:59:09 +03:00