| 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 |