git.iko.soy/Idris-dev
on d3fa352 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/Break line on some long multiline comments. Builtins.idrAdd %used directive for idris_crash IO.idrprim__vm needs to take a World reference MakefileAllow Idris to install IdrisDoc into a central location. Prelude.idrFix enumFromThenTo prelude.ipkgMake partial evaluator off by default