../ Decidable/Cosmetic tweak in interactive editing13 years ago Prelude/Remove superfluous function13 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.idrCorrects infinite stream syntax [start ..]. Closes idris-lang/Idris-dev#70613 years ago prelude.ipkgLibrary changes: Please read details below!13 years ago