5 Commits

Author	SHA1	Message	Date
topecongiro	cb48435ff3	Format source codes	2017-07-05 18:31:37 +09:00
Nick Cameron	6f30d9e7c9	Reformat tests	2017-06-13 14:42:54 +12:00
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