../ CFFI/Purify Idris of "return"10 years ago Control/Change Instance to implementation (#3404)10 years ago Data/Elements of Fin when converted to Nat are smaller than the Bound. (#3407)10 years ago Decidable/Change Instance to implementation (#3404)10 years ago Interfaces/Purify Idris of "return"10 years ago Network/Purify Idris of "return"10 years ago System/prim__vm needs to take a World reference10 years ago CFFI.idrStart high level C FFI support11 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago contrib.ipkgElements of Fin when converted to Nat are smaller than the Bound. (#3407)10 years ago