git.iko.soy/Idris-dev
on a675cdb 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/Fix typo Builtins.idrRemove old eliminator generation and induction tactic (#4351) IO.idrSome optimisation of case trees MakefileRemove debugging stuff Prelude.idrPrelude: rework operator fixity prelude.ipkgRemove old eliminator generation and induction tactic (#4351)