../ Control/renamed homomorphism to morphism14 years ago Data/Add inductive integers14 years ago Debug/Add Debug.Trace14 years ago Decidable/Generalization of Decidable general axioms for Preorders and Posets instance for less-than-equal on Nat14 years ago Language/Full TT reflection and reification14 years ago Network/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Prelude/Remove the unicode from the source files.14 years ago System/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Builtins.idrDecidable predicate ADT14 years ago IO.idrRewrite ForeignTy as non-tail-recursive to simplify proving equality14 years ago MakefileMerge branch 'javascript' of https://github.com/raichoo/Idris-dev into raichoo-javascript14 years ago Prelude.idrMake 'count' partial/abstract to prevent compile-time reduction Deals with issue #17114 years ago Providers.idrExecute type providers while typechecking14 years ago System.idrLibrary now builds with "--total"14 years ago Uninhabited.idrAdded typeclass for uninhabited types14 years ago base.ipkgAdded first steps in type providers14 years ago