../ Control/More sane scoping rules for where/type classes Parameters in the type signature get propagated, indices do not. So you no longer need to pass parameters explicitly if you need them in a where clause, and you no longer need to give explicitly typed helpers …14 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/More sane scoping rules for where/type classes Parameters in the type signature get propagated, indices do not. So you no longer need to pass parameters explicitly if you need them in a where clause, and you no longer need to give explicitly typed helpers …14 years ago System/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Builtins.idrAdd a reducing version of believe_me (be careful!)14 years ago IO.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Makefileuppercase modulenames14 years ago Prelude.idrSmall library tweaks and documentation update14 years ago System.idrLibrary now builds with "--total"14 years ago base.ipkgMerge pull request #114 from raichoo/word14 years ago