git.iko.soy/Idris-dev
on 308efea help sign in
Idris-dev/lib
8 folders, 8 files
../ Control/renamed homomorphism to morphism Data/Updated bounded lists Debug/Add Debug.Trace Decidable/Added always/Given as a non boolean equivalent for oh/so Language/Formatting improvements Network/Make 'Type' the type of types instead of Sets ...after mailing list discussion Prelude/Remove the unicode from the source files. System/Friendly smart constructors for foreign integer types Builtins.idrAdd Not definition IO.idrFriendly smart constructors for foreign integer types MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X Prelude.idrFriendly smart constructors for foreign integer types Providers.idrUpdate type providers so that the decision of failure or otherwise is made in IO System.idrFriendly smart constructors for foreign integer types Uninhabited.idrAdded typeclass for uninhabited types base.ipkgMerge pull request #297 from david-christiansen/proofutils