| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2020-01-19 | Add Except monad, and destructors for records and variants | Paweł Dybiec | 1 | -18/+26 | |
| 2020-01-09 | More tests | Paweł Dybiec | 1 | -0/+20 | |
| 2020-01-08 | Initial commit | Paweł Dybiec | 2 | -0/+20 | |
| 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 |