../ Decidable/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Prelude/Remove Type* on type of (.)12 years ago Builtins.idrMove Pair/Sigma into Builtins namespace12 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.idrDefine Show instance for Vect via toList.12 years ago prelude.ipkgAdd Prelude.Pairs to the ipkg.12 years ago