aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* 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