Edwin Brady ca3ea38cde Make sure Force is erased for termination checker ... But only for 'Lazy', not for 'Inf'. This is necessary to build the size change graphs correctly.		2019-11-11 19:35:23 +00: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	Merge pull request #119 from timsueberkrueb/add-missing-exports	2019-10-19 13:53:23 +01:00
prelude.ipkg	Add missing ipkg	2019-06-19 18:50:46 +01:00
PrimIO.idr	Make sure Force is erased for termination checker	2019-11-11 19:35:23 +00:00