about summary refs log tree commit diff
path: root/test/TypecheckTest.hs
AgeCommit message (Collapse)AuthorFilesLines
2020-01-08Initial commitPaweł Dybiec1-0/+14
Initial version of project. What is done: * Syntax of expressions,commands,programs and types * Crude typechecking * Some typechecking tests