about summary refs log tree commit diff
path: root/app
AgeCommit message (Collapse)AuthorFilesLines
2020-01-20Add evaluation of whole programs, typechecking functions and main mainPaweł Dybiec1-2/+14
2020-01-08Initial commitPaweł Dybiec1-0/+6
Initial version of project. What is done: * Syntax of expressions,commands,programs and types * Crude typechecking * Some typechecking tests