Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Some typechecker work | Tom Smeding | 2024-03-14 |
| | |||
* | Destroy fancy typing, and some work | Tom Smeding | 2024-02-29 |
| | |||
* | Trees that explode | Tom Smeding | 2024-02-27 |
| | |||
* | WIP typecheck and other stuff | Tom Smeding | 2024-02-26 |