G. Allais 3df1f9c476 [ fix #63 ] interleaving let binders and local declarations (#691)		2020-09-28 13:15:22 +01:00
..
Control	change runReader's to take state first to allow easier use	2020-09-15 22:46:07 +01:00
Data	[ fix #63 ] interleaving let binders and local declarations (#691)	2020-09-28 13:15:22 +01:00
Debug	Add libraries	2020-05-18 14:00:08 +01:00
Decidable	[ breaking ] remove List1 related ambiguities (#690)	2020-09-22 15:07:40 +01:00
Language	change ForeignFn to use TTImp to match RawImp version	2020-09-24 09:00:00 +01:00
System	Add supporting code	2020-08-25 14:30:57 +03:00
base.ipkg	Port Idris 1's Data.Vect.Quantifiers	2020-08-31 12:34:13 +01:00
Makefile	Refactor makefiles	2020-05-19 18:50:47 +06:00
System.idr	Use the same naming convention for foreign primitives	2020-08-19 14:05:28 +01:00