git.iko.soy/Idris-dev
on b2fb9d0 help sign in
Idris-dev/libs/prelude
2 folders, 5 files
../ Decidable/Finished making standard library naming consistent Prelude/Finished making standard library naming consistent Builtins.idrRenaming of built-in datatypes works finally IO.idrMerge branch 'master' of github.com:idris-lang/Idris-dev MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrFinished making standard library naming consistent prelude.ipkgAdd Prelude.Pairs to the ipkg.