../ Decidable/Use believe_me for DecEq on primitives12 years ago Prelude/Rename the Negatable class to Neg12 years ago Builtins.idrAdd Borrowed types12 years ago IO.idrMerge branch 'master' of github.com:idris-lang/Idris-dev12 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago Prelude.idrMerge pull request #1265 from ziman/dependent-pairs12 years ago prelude.ipkgAdd Prelude.Pairs to the ipkg.12 years ago