grigorii.kirgizov 084c4581f0 Bounded type vars: add free type var collection (in typeOf), gen, inst, list utils		2019-01-09 11:17:42 +03:00
..
fitch	Document judgements and reasonings in Fitch sample languages.	2019-01-07 11:03:55 +01:00
lambdacalc	Bounded type vars: add free type var collection (in typeOf), gen, inst, list utils	2019-01-09 11:17:42 +03:00
mpscore	Introduce checking for instances of RuntimeErrorType during tests. Refactor test typechecking launcher.	2019-01-04 17:47:44 +01:00