Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2023-06-20 | Simplify case syntax (at least for now): do not allow nested patterns | Camil Staps | 1 | -1/+1 | |
2023-06-18 | Add automated tests | Camil Staps | 1 | -9/+26 | |
2023-02-01 | Remove ambiguity from function definition syntax: Type (x y) could have Type ↵ | Camil Staps | 1 | -1/+1 | |
as kind *->*, or (x y) could be the rhs | |||||
2023-01-31 | Use <<|> instead of <|> in parser to reduce memory usage | Camil Staps | 1 | -18/+23 | |
2023-01-31 | Minor improvements; implement saturated function and constructor applications | Camil Staps | 1 | -1/+23 | |
2023-01-23 | Add Clean parser for snug | Camil Staps | 1 | -0/+243 | |