Commit message (Expand) | Author | Age | |
---|---|---|---|
* | WIP refactor and union types, type variables | Tom Smeding | 2020-07-26 |
* | Builtins is a Map | Tom Smeding | 2020-07-26 |
* | Support Let | Tom Smeding | 2020-07-25 |
* | Allow hanging indent in parser | Tom Smeding | 2020-07-25 |
* | Namespacing of AST's, not suffix-disambiguation | Tom Smeding | 2020-07-25 |
* | Fix cabal file | Tom Smeding | 2020-07-25 |
* | Add hie.yaml | Tom Smeding | 2020-07-24 |
* | Define builtins in backend | Tom Smeding | 2020-07-24 |
* | Move Context to cc-ast in preparation for backend parametrisation | Tom Smeding | 2020-07-24 |
* | Lift TypeScheme to AST.Typed | Tom Smeding | 2020-07-24 |
* | Move CC.{Source,Typed} to CC.AST.* | Tom Smeding | 2020-07-24 |
* | Code cleanup | Tom Smeding | 2020-07-24 |
* | Support tuples | Tom Smeding | 2020-07-24 |
* | Correct source range handling | Tom Smeding | 2020-07-24 |
* | Working basic type checker using Algorithm W | Tom Smeding | 2020-07-24 |
* | WIP lambdas | Tom Smeding | 2020-07-23 |
* | Use Pretty for errors and expressions | Tom Smeding | 2020-07-23 |
* | Initial state I found the code in | Tom Smeding | 2020-06-10 |