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