../ 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 improvements14 years ago Network/Expand integer primitive unification to encompass bigints14 years ago Prelude/Expand integer primitive unification to encompass bigints14 years ago System/Friendly smart constructors for foreign integer types14 years ago Builtins.idrExpand integer primitive unification to encompass bigints14 years ago IO.idrRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""14 years ago MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X14 years ago Prelude.idrExpand integer primitive unification to encompass bigints14 years ago Providers.idrClean up implementation of type providers13 years ago System.idrFriendly smart constructors for foreign integer types14 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