../ Control/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Data/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Debug/Add Debug.Trace14 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/Style14 years ago System/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Builtins.idrMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago IO.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago Makefileuppercase modulenames14 years ago Prelude.idrBase 10 show for Mod2 and various cleanup14 years ago System.idrLibrary now builds with "--total"14 years ago base.ipkgAdd missing comma in base.ipkg14 years ago