Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2023-03-05 | Implement ap | Camil Staps | 1 | -13/+12 | |
2023-02-01 | Remove ambiguity from function definition syntax: Type (x y) could have Type ↵ | Camil Staps | 1 | -6/+6 | |
as kind *->*, or (x y) could be the rhs | |||||
2023-01-30 | Add documentation | Camil Staps | 4 | -0/+359 | |