git.iko.soy/Idris-dev
on 59456cd 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 MakefileMerge branch 'javascript' of https://github.com/raichoo/Idris-dev into raichoo-javascript 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