Commit message (Expand) | Author | Age | |
---|---|---|---|
* | typechecker work | Tom Smeding | 2024-03-23 |
* | Working kind inference | Tom Smeding | 2024-03-22 |
* | 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 |
* | Diagnostics refactor | Tom Smeding | 2024-02-26 |
* | Separate out library | Tom Smeding | 2024-02-25 |
* | Add HSVIS module prefix | Tom Smeding | 2024-02-25 |
* | Show source line in parse error | Tom Smeding | 2024-02-19 |
* | Seems like a working parser | Tom Smeding | 2024-02-19 |
* | WIP big parser refactor with better typing | Tom Smeding | 2024-02-18 |
* | Parser work | Tom Smeding | 2024-02-18 |
* | Lots of parser work | Tom Smeding | 2024-02-17 |
* | Move to src/, working HLS in examples/ | Tom Smeding | 2024-02-17 |