Fedor Isakov cb1ea46af7 Typechecking templates: specify data types for logicals that are used for values instead of term.		2018-12-28 11:57:26 +01:00
..
fitch	Add tests for fitch sample project	2018-12-14 14:55:23 +01:00
lambdacalc	add unquantified type annotations to lambda calculus	2018-12-05 16:38:32 +01:00
mpscore	Typechecking templates: specify data types for logicals that are used for values instead of term.	2018-12-28 11:57:26 +01:00