MarcelineVQ 3e4e33110b add semigroup/monoid instances for Unit/() ... quite useful to have for more complex libraries and types		2020-09-02 08:42:00 +01:00
..
Prelude	add semigroup/monoid instances for Unit/()	2020-09-02 08:42:00 +01:00
Builtin.idr	Renamed IsString to FromString	2020-08-05 02:33:05 +02:00
Makefile	Refactor makefiles	2020-05-19 18:50:47 +06:00
Prelude.idr	Reorganise prelude into multiple files	2020-07-12 16:55:48 +01:00
prelude.ipkg	Reorganise prelude into multiple files	2020-07-12 16:55:48 +01:00
PrimIO.idr	Eliminate schemeCall from the library	2020-08-24 19:38:29 +03:00