git.iko.soy/Idris-dev
on fadeecd 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/Parameterized integer FFI Builtins.idrAdd Not definition IO.idrParameterized integer FFI MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X Prelude.idrMerge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitives Providers.idrUpdate type providers so that the decision of failure or otherwise is made in IO System.idrParameterized integer FFI Uninhabited.idrAdded typeclass for uninhabited types base.ipkgMerge pull request #297 from david-christiansen/proofutils