Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2020-01-09 | Add package.yaml | Paweł Dybiec | 1 | -0/+49 | |
2020-01-08 | Initial commit | Paweł Dybiec | 16 | -0/+226 | |
Initial version of project. What is done: * Syntax of expressions,commands,programs and types * Crude typechecking * Some typechecking tests |