../ Control/renamed homomorphism to morphism14 years ago Data/Add inductive integers14 years ago Debug/Add Debug.Trace14 years ago Decidable/Remove misplaced instance14 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.idrFix error with linearity checking in patterns14 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