aboutsummaryrefslogtreecommitdiff
path: root/typecheck/CC/Typecheck/Types.hs
Commit message (Expand)AuthorAge
* Fix unification and make union types workHEADmasterTom Smeding2020-07-27
* Correct type variable rigidity (I think)Tom Smeding2020-07-27
* WIP refactor and union types, type variablesTom Smeding2020-07-26