../ Control/Make Category poly-kinded.9 years ago Data/Adds scanl1 to Data.Vect9 years ago Debug/Add %used directive for idris_crash10 years ago Language/Add Functor implementation for FunClause and FunDefn9 years ago Syntax/Change export qualifier keywords11 years ago System/Fix 'spawn' to return Maybe PID10 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago System.idradd System.system documentation9 years ago base.ipkgTidy up iPKG module listings.9 years ago