git.iko.soy/Idris-dev
on b2017d2 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/Add %elim to Ordering. Builtins.idrAdd %elim to tuples. 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.