../ base/Used So instead of =10 years ago contrib/Elements of Fin when converted to Nat are smaller than the Bound. (#3407)10 years ago effects/Allow Idris to install IdrisDoc into a central location.10 years ago oldeffects/Change Instance to implementation (#3404)10 years ago prelude/Change totality checking and inlining10 years ago pruviloj/Import Pruviloj.Core as public for eliminators10 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago