Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2020-01-08 | Initial commit | Paweł Dybiec | 3 | -0/+0 | |
Initial version of project. What is done: * Syntax of expressions,commands,programs and types * Crude typechecking * Some typechecking tests |
index : wpp | ||
Project for PL course |
about summary refs log tree commit diff |
Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2020-01-08 | Initial commit | Paweł Dybiec | 3 | -0/+0 | |
Initial version of project. What is done: * Syntax of expressions,commands,programs and types * Crude typechecking * Some typechecking tests |