Stefan Höck ca5b1ba094 [ totality ] Data.String.words should be total (#2262)		2022-01-20 09:58:50 +00:00
..
Control	Injective follow-up (#2155)	2022-01-05 09:40:23 +00:00
Data	[ totality ] Data.String.words should be total (#2262)	2022-01-20 09:58:50 +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	Add Singleton type	2022-01-19 14:22:40 +00:00
Makefile	[ new ] --install-with-src; refactoring around FCs (#1450)	2021-06-05 12:53:22 +01:00
System.idr	Add a few missing NodeJS FFI functions to System (#2271)	2022-01-18 22:43:03 -08:00