../ Control/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Data/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Debug/Add Debug.Trace14 years ago Language/Improve elaboration efficiency by cutting down on excessive backtracking14 years ago Network/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Prelude/Added cast instances both directions between Maybe and Monoids.14 years ago System/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Builtins.idrREPL shouldn't try to be too clever... Fixes first part of issue #15014 years ago IO.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Makefileuppercase modulenames14 years ago Prelude.idrWe no longer need MonadPlus, now that we've got Alternative.14 years ago System.idrLibrary now builds with "--total"14 years ago base.ipkgMerge pull request #114 from raichoo/word14 years ago