Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2020-01-08 | Initial commit | Paweł Dybiec | 1 | -0/+3 | |
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 |
aboutsummaryrefslogtreecommitdiff |
Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2020-01-08 | Initial commit | Paweł Dybiec | 1 | -0/+3 | |
Initial version of project. What is done: * Syntax of expressions,commands,programs and types * Crude typechecking * Some typechecking tests |