git.iko.soy/Idris-dev
on dfe8de8 help sign in
Idris-dev/lib
8 folders, 8 files
../ Control/renamed homomorphism to morphism Data/Add bounded-length list type Debug/Add Debug.Trace Decidable/Added always/Given as a non boolean equivalent for oh/so Language/Full TT reflection and reification Network/Make 'Type' the type of types instead of Sets ...after mailing list discussion Prelude/Remove the unicode from the source files. System/Make 'Type' the type of types instead of Sets ...after mailing list discussion Builtins.idrDecidable predicate ADT IO.idrRewrite ForeignTy as non-tail-recursive to simplify proving equality MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X Prelude.idrsinh, cosh, tanh Providers.idrUpdate type providers so that the decision of failure or otherwise is made in IO System.idrLibrary now builds with "--total" Uninhabited.idrAdded typeclass for uninhabited types base.ipkgAdd bounded-length list type