| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2020-01-20 | Add function calls in commands, and type annotations in expressions | Paweł Dybiec | 2 | -21/+44 | |
| 2020-01-20 | Fix variants typing, add wellformedness for commands | Paweł Dybiec | 2 | -6/+63 | |
| 2020-01-19 | Add Except monad, and destructors for records and variants | Paweł Dybiec | 4 | -41/+106 | |
| 2020-01-09 | More tests | Paweł Dybiec | 1 | -0/+20 | |
| 2020-01-09 | Infer for record types | Paweł Dybiec | 1 | -1/+5 | |
| 2020-01-09 | Fix infer for deref and arithmetic expressions | Paweł Dybiec | 1 | -4/+4 | |
| 2020-01-09 | Fix asserts | Paweł Dybiec | 1 | -3/+3 | |
| 2020-01-09 | Fix variant type | Paweł Dybiec | 2 | -2/+6 | |
| 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 | |||||
 |
index : wpp | |
| Project for PL course |
| about summary refs log tree commit diff |