git.iko.soy/Idris-dev
on 268db5d 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/Make binary files the default when opening. Builtins.idrnewBuffer should return a managed pointer IO.idrSome optimisation of case trees MakefileRemove debugging stuff Prelude.idrPrelude: rework operator fixity prelude.ipkgRemove old eliminator generation and induction tactic (#4351)