git.iko.soy/Idris-dev
on ecd9ead help sign in
Idris-dev/lib
8 folders, 8 files
../ Control/renamed homomorphism to morphism Data/Add inductive integers Debug/Add Debug.Trace Decidable/Remove misplaced instance 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 MakefileUse just-built dynamic RTS during library typecheck Prelude.idrFix error with linearity checking in patterns 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.ipkgAdded first steps in type providers