../ Decidable/Cosmetic tweak in interactive editing13 years ago Prelude/Merge branch 'prelude_cleanup' of https://github.com/sjdrodge/Idris-dev into sjdrodge-prelude_cleanup13 years ago Builtins.idrLibrary changes: Please read details below!13 years ago IO.idrSeparate base into base and prelude13 years ago MakefileForgot the Makefile in prelude!13 years ago Prelude.idrFix enumFromTo for Nat, Int, and Integer13 years ago prelude.ipkgLibrary changes: Please read details below!13 years ago