git.iko.soy/Idris-dev
on ff0fbfa 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.idrExecute type providers while typechecking System.idrLibrary now builds with "--total" Uninhabited.idrAdded typeclass for uninhabited types base.ipkgAdded first steps in type providers