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