git.iko.soy/Idris-dev
on master help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Change DecEq primitives to use believe_me Language/Add tryCatch as an Elab action in Language.Reflection.Elab Prelude/Further simplify Nat proofs Builtins.idrnewBuffer should return a managed pointer IO.idruse HTTPS URL instead of HTTP URL when possible MakefileRemove debugging stuff Prelude.idrPrelude: rework operator fixity prelude.ipkgRemove old eliminator generation and induction tactic (#4351)