../ base/mark covering functions using `sizeAccessible` as `public export total` so that they reduce in proofs9 years ago contrib/add Uninhabited instances for True=False, remove unused proof from Data.Heap9 years ago effects/Add usleep from System to Effect.System (#3749)10 years ago oldeffects/Change Instance to implementation (#3404)10 years ago prelude/add consInjective to Prelude.List9 years ago pruviloj/Make partial evaluator off by default10 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago