../ base/Make covering function public export8 years ago contrib/Changed the file name and location so this will build properly renamed: Data/Nat/Difference.idr -> Data/Nat.idr8 years ago effects/Allow overriding IDRIS via environment variable9 years ago prelude/Change DecEq primitives to use believe_me8 years ago pruviloj/Allow overriding IDRIS via environment variable9 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago