| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Report ambiguous type/kind uvars, don't crash | Tom Smeding | 2025-01-21 |
| | | |||
| * | Partially working type checker | Tom Smeding | 2024-03-24 |
| | | |||
| * | Working kind inference | Tom Smeding | 2024-03-22 |
| | | |||
| * | Typecheck work; solver is incorrect | Tom Smeding | 2024-03-17 |
| | | |||
| * | WIP typecheck and other stuff | Tom Smeding | 2024-02-26 |
| | | |||
| * | Diagnostics refactor | Tom Smeding | 2024-02-26 |
 |
index : hs-visinter | |
| Visualising interpreter for a subset of Haskell | git daemon user |
| aboutsummaryrefslogtreecommitdiff |