Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Typecheck work; solver is incorrect | Tom Smeding | 2024-03-17 |
| | |||
* | Some typechecker work | Tom Smeding | 2024-03-14 |
| | |||
* | Little typecheck work | Tom Smeding | 2024-03-01 |
| | |||
* | 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 |
| | |||
* | Add HSVIS module prefix | Tom Smeding | 2024-02-25 |