Fedor Isakov aec8c3f9d9 SModel types: type for concept method call		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	SModel types: type for concept method call	2021-01-06 12:43:55 +01:00