grigorii.kirgizov ce34b598c2 lc: minor: add simple Typeclass examples (it's only structure/editor/scopes example); add one test case to DemoScopes		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: minor: add simple Typeclass examples (it's only structure/editor/scopes example); add one test case to DemoScopes	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