| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add TODOHEADmaster | Tom Smeding | 2025-01-22 |
| * | Report ambiguous type/kind uvars, don't crash | Tom Smeding | 2025-01-21 |
| * | Fix typo in parser | Tom Smeding | 2025-01-21 |
| * | Noodling on the type checker | Tom Smeding | 2025-01-19 |
| * | Improve FAlternative class | Tom Smeding | 2024-04-10 |
| * | typechecker | Tom Smeding | 2024-03-25 |
| * | WIP | Tom Smeding | 2024-03-24 |
| * | Partially working type checker | Tom Smeding | 2024-03-24 |
| * | work | Tom Smeding | 2024-03-23 |
| * | 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 |
 |
index : hs-visinter | |
| Visualising interpreter for a subset of Haskell | git daemon user |
| aboutsummaryrefslogtreecommitdiff |