Nick Drozd 588bc99229 Simplify isomorphism proofs		2020-03-06 16:07:00 -06:00
..
base	Simplify isomorphism proofs	2020-03-06 16:07:00 -06:00
contrib	Simplify proofs of algebra laws	2020-03-06 16:07:00 -06:00
effects	Correct a couple of minor typos in the effects package idrisdoc	2019-10-26 21:24:10 +01:00
prelude	Further simplify Nat proofs	2020-03-06 16:07:00 -06:00
pruviloj	Allow overriding IDRIS via environment variable	2018-03-23 13:31:14 +01:00
Makefile	Allow Idris to install IdrisDoc into a central location.	2016-09-28 19:29:27 +01:00