Grigorii Kirgizov bc46a8e5ce Upd broken refs to logical vars		2019-10-26 17:01:07 +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	Upd broken refs to logical vars	2019-10-26 17:01:07 +03:00