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