| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2020-01-20 | Add evaluation of whole programs, typechecking functions and main main | Paweł Dybiec | 1 | -6/+6 |
| 2020-01-20 | Add function calls in commands, and type annotations in expressions | Paweł Dybiec | 1 | -1/+6 |
| 2020-01-20 | Fix variants typing, add wellformedness for commands | Paweł Dybiec | 1 | -3/+3 |
| 2020-01-19 | Add Except monad, and destructors for records and variants | Paweł Dybiec | 1 | -2/+6 |
| 2020-01-09 | Fix variant type | Paweł Dybiec | 1 | -1/+1 |
| 2020-01-08 | Initial commit | Paweł Dybiec | 1 | -0/+34 |
 |
index : wpp | |
| Project for PL course |
| about summary refs log tree commit diff |