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 |
index : compcomp | ||
Composable compiler | git daemon user |
aboutsummaryrefslogtreecommitdiff |
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 |