Commit Graph

3 Commits

Author SHA1 Message Date
Nick Cameron
9be2971274 Refactor pairs/binops 2017-01-11 12:06:23 +13:00
Marcus Klaas
eae2921e14 Bootstrap it. Hard. 2016-05-12 21:50:43 +02:00
Marcus Klaas
45a83d18cc Format type ascription 2016-04-15 17:56:43 +02:00