../ Control/renamed homomorphism to morphism14 years ago Data/Renamed Map and Set to SortedMap and SortedSet14 years ago Debug/Add Debug.Trace14 years ago Decidable/Generalization of Decidable general axioms for Preorders and Posets instance for less-than-equal on Nat14 years ago Language/Full TT reflection and reification14 years ago Network/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Prelude/Remove the unicode from the source files.14 years ago System/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Builtins.idrDecidable predicate ADT14 years ago IO.idrRewrite ForeignTy as non-tail-recursive to simplify proving equality14 years ago MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X14 years ago Prelude.idrMake 'count' partial/abstract to prevent compile-time reduction Deals with issue #17114 years ago Providers.idrUpdate type providers so that the decision of failure or otherwise is made in IO14 years ago System.idrLibrary now builds with "--total"14 years ago Uninhabited.idrAdded typeclass for uninhabited types14 years ago base.ipkgAdd Decidable.Decidable and Decidable.Order to base.ipkg14 years ago