../ Control/renamed homomorphism to morphism14 years ago Data/Updated bounded lists13 years ago Debug/Add Debug.Trace14 years ago Decidable/Added always/Given as a non boolean equivalent for oh/so14 years ago Language/Formatting improvements13 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/Friendly smart constructors for foreign integer types13 years ago Builtins.idrAdd Not definition14 years ago IO.idrRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""13 years ago MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X14 years ago Prelude.idrAdded natural number exponentials13 years ago Providers.idrUpdate type providers so that the decision of failure or otherwise is made in IO14 years ago System.idrFriendly smart constructors for foreign integer types13 years ago Uninhabited.idrAdded typeclass for uninhabited types14 years ago base.ipkgMerge pull request #297 from david-christiansen/proofutils13 years ago