Mathew Polzin 1b4811b1ed [cleanup] Unhide string module (#2230) ... * unhide string lines/unlines functions and clean up a bit. * skip the extra newline now that unlines adds one at the end.		2022-01-06 10:34:15 +00:00
..
Control	Injective follow-up (#2155)	2022-01-05 09:40:23 +00:00
Data	[cleanup] Unhide string module (#2230)	2022-01-06 10:34:15 +00:00
Debug	Add totality annotations to src and libs/{prelude, base}	2021-06-12 21:06:08 -05:00
Decidable	Injective interface and its implementations (#2114)	2021-11-26 10:55:17 +00:00
Language	[ fix #1404 ] Totality annotation for data type definitions (#2179)	2021-12-08 16:08:26 +00:00
System	[cleanup] Small round of unused import culling. (#2231)	2021-12-29 20:42:29 -08:00
base.ipkg	Injective interface and its implementations (#2114)	2021-11-26 10:55:17 +00:00
Makefile	[ new ] --install-with-src; refactoring around FCs (#1450)	2021-06-05 12:53:22 +01:00
System.idr	[ nodejs ] pid	2021-12-22 22:25:21 +08:00