git.iko.soy/Idris-dev
on ff01a4c help sign in
Idris-dev/libs/prelude
3 folders, 5 files
../ Decidable/Better DecEq implementations on primitives Language/Fix deprecation warning in Language.Reflection Prelude/Change totality checking and inlining Builtins.idrChange totality checking and inlining IO.idrprim__vm needs to take a World reference MakefileAllow Idris to install IdrisDoc into a central location. Prelude.idrUpdating range behavior to match Haskell's where appropriate prelude.ipkgMove Accessible to Prelude