aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Fix unification and make union types workHEADmasterTom Smeding2020-07-27
* Correct type variable rigidity (I think)Tom Smeding2020-07-27
* WIP refactor and union types, type variablesTom Smeding2020-07-26
* Builtins is a MapTom Smeding2020-07-26
* Support LetTom Smeding2020-07-25
* Allow hanging indent in parserTom Smeding2020-07-25
* Namespacing of AST's, not suffix-disambiguationTom Smeding2020-07-25
* Fix cabal fileTom Smeding2020-07-25
* Add hie.yamlTom Smeding2020-07-24
* Define builtins in backendTom Smeding2020-07-24
* Move Context to cc-ast in preparation for backend parametrisationTom Smeding2020-07-24
* Lift TypeScheme to AST.TypedTom Smeding2020-07-24
* Move CC.{Source,Typed} to CC.AST.*Tom Smeding2020-07-24
* Code cleanupTom Smeding2020-07-24
* Support tuplesTom Smeding2020-07-24
* Correct source range handlingTom Smeding2020-07-24
* Working basic type checker using Algorithm WTom Smeding2020-07-24
* WIP lambdasTom Smeding2020-07-23
* Use Pretty for errors and expressionsTom Smeding2020-07-23
* Initial state I found the code inTom Smeding2020-06-10
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-22 17:25:26 +0100