git.iko.soy/Idris-dev
on c7efd0a help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/DecEq instances for Ptr/ManagedPtr Language/Remove NErased Prelude/Library of tactics for proof automation with Elab Builtins.idrFaster processing of alternatives IO.idrMerge pull request #2491 from ziman/ffi-fix MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrAdd elaborator reflection to default namespace prelude.ipkgAdd deprecation warning for %elim