../ Control/renamed homomorphism to morphism14 years ago Data/Renamed Map and Set to SortedMap and SortedSet14 years ago Debug/Add Debug.Trace14 years ago Decidable/Added always/Given as a non boolean equivalent for oh/so14 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.idrsinh, cosh, tanh14 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.ipkgAdd Decidable.Decidable and Decidable.Order to base.ipkg14 years ago