../ Control/Implement a form of pattern unification11 years ago Data/Remove obsolete reflected tactic11 years ago Debug/IO primitives tweak to support JS12 years ago Language/Add Eq instance for Universe in reflection11 years ago Syntax/First renaming attempt12 years ago System/Some Prelude reorganisation11 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago System.idrFix typo in doc comment11 years ago base.ipkgMerge VectType into Vect to be more like other Data.*11 years ago