git.iko.soy/Idris-dev
on dccd072 help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/DecEq instances for Ptr/ManagedPtr Language/Better error when no alternative is valid Prelude/Remove proofs from List.zipWith and friends Builtins.idrFaster processing of alternatives IO.idrMerge pull request #2491 from ziman/ffi-fix MakefileModified makefiles to add local IdrisDoc generation. Prelude.idrSome Prelude reorganisation prelude.ipkgSome Prelude reorganisation