git.iko.soy/Idris-dev
on 1841601 help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Delete DecEq Float Language/Rename Tactical to Elab Prelude/Merge pull request #2052 from canndrew/partial-div-mod Builtins.idrOverdid the external primitives IO.idrType Providers mean we can't relax the signature of run__provider MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrMerge branch 'master' of github.com:idris-lang/Idris-dev prelude.ipkgRename Tactical to Elab