aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* typecheckerTom Smeding2024-03-25
* WIPTom Smeding2024-03-24
* Partially working type checkerTom Smeding2024-03-24
* workTom Smeding2024-03-23
* typechecker workTom Smeding2024-03-23
* Working kind inferenceTom Smeding2024-03-22
* Typecheck work; solver is incorrectTom Smeding2024-03-17
* Some typechecker workTom Smeding2024-03-14
* Little typecheck workTom Smeding2024-03-01
* Destroy fancy typing, and some workTom Smeding2024-02-29
* Trees that explodeTom Smeding2024-02-27
* WIP typecheck and other stuffTom Smeding2024-02-26
* Diagnostics refactorTom Smeding2024-02-26
* Add super dumb lsp stubTom Smeding2024-02-25
* Separate out libraryTom Smeding2024-02-25
* Add HSVIS module prefixTom Smeding2024-02-25
* Show source line in parse errorTom Smeding2024-02-19
* Seems like a working parserTom Smeding2024-02-19
* WIP big parser refactor with better typingTom Smeding2024-02-18
* Parser workTom Smeding2024-02-18
* Lots of parser workTom Smeding2024-02-17
* Move to src/, working HLS in examples/Tom Smeding2024-02-17
* Parse basic ADTs, and fix bugsTom Smeding2024-02-13
* More reindentTom Smeding2024-02-13
* Add stub readmeTom Smeding2024-02-13
* GHC 9.8 compatibilityTom Smeding2024-02-13
* CleanupTom Smeding2024-02-13
* Up base boundsTom Smeding2024-02-13
* ReindentTom Smeding2024-02-13
* Untested minimal viable parserTom Smeding2023-04-23
* More parser workTom Smeding2023-04-16
* Some parser workTom Smeding2023-04-15
* WorkTom Smeding2021-11-27
* Some workTom Smeding2021-11-25
* Work on parserTom Smeding2021-11-22
* Initial WIPTom Smeding2021-11-20