Alex Gryzlov f0ca75b537 add some lib fuctions from Idris1		2019-11-12 15:58:21 +03:00
..
Builtin.idr	Change equality elaboration	2019-07-05 11:26:45 +01:00
Makefile	Add missing Makefile	2019-06-19 18:49:53 +01:00
Prelude.idr	add some lib fuctions from Idris1	2019-11-12 15:58:21 +03:00
prelude.ipkg	Add missing ipkg	2019-06-19 18:50:46 +01:00
PrimIO.idr	Support callbacks in foreign calls to C	2019-09-29 17:25:26 +01:00