git.iko.soy/Idris-dev
on 62be419 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/Improve elaboration efficiency by cutting down on excessive backtracking Network/Make 'Type' the type of types instead of Sets ...after mailing list discussion Prelude/added forgotten LStrLen primitive and length function for String 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