Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Typecheck work; solver is incorrect | Tom Smeding | 2024-03-17 |
| | |||
* | Show source line in parse error | Tom Smeding | 2024-02-19 |
| | |||
* | Seems like a working parser | Tom Smeding | 2024-02-19 |
| | |||
* | Parser work | Tom Smeding | 2024-02-18 |
| | |||
* | Lots of parser work | Tom Smeding | 2024-02-17 |
| | |||
* | Parse basic ADTs, and fix bugs | Tom Smeding | 2024-02-13 |