grigorii.kirgizov c8233c24d7 lc: move to fully nameless representation of type vars; assign names only in recover ... It is also a necessary step to bidirectional typechecking and can simplify things in other places		2019-01-11 19:09:44 +03:00
..
fitch	Document judgements and reasonings in Fitch sample languages.	2019-01-07 11:03:55 +01:00
lambdacalc	lc: move to fully nameless representation of type vars; assign names only in recover	2019-01-11 19:09:44 +03:00
mpscore	Minor fixes in the BL typechecking templates. Insert manual new lines in the test structures for better visualization.	2019-01-09 13:01:37 +01:00