Age | Commit message (Expand) | 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 |