../ 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/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Network/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Prelude/Swapped bitsEq Either ordering to be in the spirit of Right=success14 years ago System/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Builtins.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago IO.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Makefileuppercase modulenames14 years ago Prelude.idrReplace general modulo type with modulo 2^n type14 years ago System.idrLibrary now builds with "--total"14 years ago base.ipkgBeginnings of generic machine integer support14 years ago