compcomp/typecheck/CC/Typecheck, branch master Composable compiler https://git.tomsmeding.com/compcomp/atom?h=master 2020-07-27T08:32:49Z Fix unification and make union types work 2020-07-27T08:32:49Z Tom Smeding tom.smeding@gmail.com 2020-07-27T08:32:49Z urn:sha1:4c9e6c7dc4468c05553b04ba0c1aca6964dc0f82 Correct type variable rigidity (I think) 2020-07-27T06:35:57Z Tom Smeding tom.smeding@gmail.com 2020-07-27T06:35:57Z urn:sha1:1ac7ba99fc809958ab59ed9b81df6fda7f2dbf05 WIP refactor and union types, type variables 2020-07-26T21:02:09Z Tom Smeding tom.smeding@gmail.com 2020-07-26T21:02:09Z urn:sha1:342c213f3caddd64db0eac5ae146912e00378371