Grigorii Kirgizov 3016ffd904 Remove dependency on lang.text to enable experimental typechecker for Samples:bounds.bad		2019-10-28 18:33:00 +03:00
..
fitch	Extend typechecking query TYPECHECK with a parameter to report types.	2019-10-10 17:30:11 +02:00
lambdacalc	Fix all templates with broken scopes for logical variables.	2019-10-25 22:45:55 +02:00
mpscore	Remove dependency on lang.text to enable experimental typechecker for Samples:bounds.bad	2019-10-28 18:33:00 +03:00