../ Decidable/Move Decidable.Equality to Prelude13 years ago Prelude/Replace global-scope helpers finToNat and finToInteger with functions whose type signatures match the names.13 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