| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix unification and make union types workHEADmaster | Tom Smeding | 2020-07-27 |
| * | Correct type variable rigidity (I think) | Tom Smeding | 2020-07-27 |
| * | 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 |
| * | Namespacing of AST's, not suffix-disambiguation | Tom Smeding | 2020-07-25 |
| * | 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 |
| * | Support tuples | Tom Smeding | 2020-07-24 |
| * | Working basic type checker using Algorithm W | Tom Smeding | 2020-07-24 |
| * | Initial state I found the code in | Tom Smeding | 2020-06-10 |
 |
index : compcomp | |
| Composable compiler | git daemon user |
| aboutsummaryrefslogtreecommitdiff |