git.iko.soy/Idris-dev
on 9b372d8 help sign in
Idris-dev/libs/base
6 folders, 3 files
../ Control/Purify Idris of "return" Data/change export rules for module Debug/Add %used directive for idris_crash Language/Change Instance to implementation (#3404) Syntax/Change export qualifier keywords System/Fix 'spawn' to return Maybe PID MakefileAllow Idris to install IdrisDoc into a central location. System.idrImprove `System.Exit` Fixes #3488. base.ipkgRename Session back to Channel