../ Control/Purify Idris of "return"10 years ago Data/New coverage checker10 years ago Debug/Purify Idris of "return"10 years ago Language/Change Instance to implementation (#3404)10 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.idrPurify Idris of "return"10 years ago base.ipkgRename Session back to Channel10 years ago