Grigorii Kirgizov 223cbeaabe Add incremental test for BL plus operator overload for String type		2019-10-26 16:14:43 +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	Add incremental test for BL plus operator overload for String type	2019-10-26 16:14:43 +03:00