Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2020-01-20 | Add evaluation of whole programs, typechecking functions and main main | Paweł Dybiec | 1 | -2/+14 | |
2020-01-08 | Initial commit | Paweł Dybiec | 1 | -0/+6 | |
Initial version of project. What is done: * Syntax of expressions,commands,programs and types * Crude typechecking * Some typechecking tests |