../ Control/renamed homomorphism to morphism14 years ago Data/Define Any/All quantifiers for Vect14 years ago Debug/Add Debug.Trace14 years ago Decidable/Added always/Given as a non boolean equivalent for oh/so14 years ago Language/Full TT reflection and reification14 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/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Builtins.idrAdd Not definition14 years ago IO.idrRewrite ForeignTy as non-tail-recursive to simplify proving equality14 years ago MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X14 years ago Prelude.idrsinh, cosh, tanh14 years ago Providers.idrUpdate type providers so that the decision of failure or otherwise is made in IO14 years ago System.idrLibrary now builds with "--total"14 years ago Uninhabited.idrAdded typeclass for uninhabited types14 years ago base.ipkgMerge branch 'vect-quantifiers' of https://github.com/bitlisp/Idris-dev into bitlisp-vect-quantifiers13 years ago