git.iko.soy/Idris-dev
on 1b71663 help sign in
history oflibs/effects/Effect/Exception.idr
all commits
0ba2ce6Improve `System.Exit` Fixes #3488.Jan de Muijnck-Hughes 68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady 076c2d6Simplify some expressions in IOExcept.Leif Warner 53f4651Tidy up name warnings in PreludeEdwin Brady a35ccd6Update Eff constructors to remove warningsEdwin Brady ac5ca2aFixed bitrot from change to new Effects API.Jan de Muijnck-Hughes c3cdb9cTrying a new Effects apiEdwin Brady 5ea6aa0Address semantic differences in putting things to STDOUT.Jan de Muijnck-Hughes ced7733Replace 'effects' with neweffectsEdwin Brady 6b69961Rename 'effect' to 'call'Edwin Brady e7a35e9Remove implicit qualifier for 'effect'Edwin Brady 4ba5460Make 'neweffects' the official effects packageEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady