../ 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/Improve elaboration efficiency by cutting down on excessive backtracking14 years ago Network/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Prelude/added forgotten LStrLen primitive and length function for String14 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.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 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 System.idrLibrary now builds with "--total"14 years ago Uninhabited.idrAdded typeclass for uninhabited types14 years ago base.ipkgAdded typeclass for uninhabited types14 years ago