git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/libs/prelude
2 folders, 5 files
../ Decidable/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Prelude/added zipWith3, zip3, and unzip3 for Vects Builtins.idrRenamed VoidElim to void in order to ensure further consistency IO.idrMerge branch 'master' of github.com:idris-lang/Idris-dev MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrDocumentation improvements in library prelude.ipkgAdd Prelude.Pairs to the ipkg.