Ohad Kammar 10b8698843 Remove forgotten linearity annotation on cong2		2020-08-16 08:20:31 +01:00
..
Control	Add some algebra implementations	2020-07-17 08:25:20 -05:00
Data	[ refactor ] introduce List1 to remove impossible case (#520)	2020-08-04 20:03:18 +01:00
Debug	Back to HasIO, remove MonadIO	2020-06-21 19:21:22 +01:00
Language	Fix import loading	2020-05-27 15:49:03 +01:00
Syntax	Remove forgotten linearity annotation on cong2	2020-08-16 08:20:31 +01:00
System	Back to HasIO, remove MonadIO	2020-06-21 19:21:22 +01:00
Text	Remove public export	2020-08-05 13:42:04 +02:00
contrib.ipkg	Merge pull request #476 from nickdrozd/algebra-implementations	2020-08-04 13:21:12 +01:00
Makefile	Refactor makefiles	2020-05-19 18:50:47 +06:00