aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* Improve FAlternative classTom Smeding2024-04-10
|
* 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
|
* 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