| 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 |
| * | lsp: Also typecheck | Tom Smeding | 2025-01-21 |
| * | Noodling on the type checker | Tom Smeding | 2025-01-19 |
| * | Add a stupid future test case | Tom Smeding | 2024-08-29 |
| * | 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 |
| * | Add super dumb lsp stub | Tom Smeding | 2024-02-25 |
| * | 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 |
| * | Parse basic ADTs, and fix bugs | Tom Smeding | 2024-02-13 |
| * | More reindent | Tom Smeding | 2024-02-13 |
| * | Add stub readme | Tom Smeding | 2024-02-13 |
| * | GHC 9.8 compatibility | Tom Smeding | 2024-02-13 |
| * | Cleanup | Tom Smeding | 2024-02-13 |
| * | Up base bounds | Tom Smeding | 2024-02-13 |
| * | Reindent | Tom Smeding | 2024-02-13 |
| * | Untested minimal viable parser | Tom Smeding | 2023-04-23 |
| * | More parser work | Tom Smeding | 2023-04-16 |
| * | Some parser work | Tom Smeding | 2023-04-15 |
| * | Work | Tom Smeding | 2021-11-27 |
| * | Some work | Tom Smeding | 2021-11-25 |
| * | Work on parser | Tom Smeding | 2021-11-22 |
| * | Initial WIP | Tom Smeding | 2021-11-20 |
 |
index : hs-visinter | |
| Visualising interpreter for a subset of Haskell | git daemon user |
| aboutsummaryrefslogtreecommitdiff |