../ Control/renamed homomorphism to morphism14 years ago Data/Define Any/All quantifiers for Vect14 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.idrAdd Not definition14 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.ipkgDefine Any/All quantifiers for Vect14 years ago