../ Control/renamed homomorphism to morphism14 years ago Data/Merge branch 'unified-int-primitives-fix' of https://github.com/bitlisp/Idris-dev into bitlisp-unified-int-primitives-fix13 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/Expand integer primitive unification to encompass bigints13 years ago Prelude/Expand integer primitive unification to encompass bigints13 years ago System/Friendly smart constructors for foreign integer types13 years ago Builtins.idrExpand integer primitive unification to encompass bigints13 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.idrExpand integer primitive unification to encompass bigints13 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 branch 'unified-int-primitives-fix' of https://github.com/bitlisp/Idris-dev into bitlisp-unified-int-primitives-fix13 years ago