../ Control/More sane scoping rules for where/type classes Parameters in the type signature get propagated, indices do not. So you no longer need to pass parameters explicitly if you need them in a where clause, and you no longer need to give explicitly typed helpers …14 years ago Data/Move bitstring stuff to Data to reduce potential for name clashes14 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 typeclass for decidable equality plus instances for commonly-used datatypes14 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.idrSpeed up termination checker Lots of duplication of work was happening, both ignoring functions that were already known to be total, and repeating checks when arguments not decreasing, now pruned.14 years ago System.idrLibrary now builds with "--total"14 years ago base.ipkgAdded typeclass for decidable equality plus instances for commonly-used datatypes14 years ago