../ Control/Added `Category Iso` in base10 years ago Data/Deal with bound variables in recoverableCoverage10 years ago Debug/Add %used directive for idris_crash10 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.idrImprove `System.Exit` Fixes #3488.10 years ago base.ipkgRename Session back to Channel10 years ago