../ Control/Purify Idris of "return"10 years ago Data/Change Instance to implementation (#3404)10 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/Name change in Channels10 years ago MakefileModified makefiles to add local IdrisDoc generation.12 years ago System.idrPurify Idris of "return"10 years ago base.ipkgRename Session back to Channel10 years ago