git.iko.soy/Idris-dev
on 372d2ea help sign in
history oflibs/effects/Effect/System.idr
all commits
68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady dc27739Fix 'time' to return Integer rather than IntEdwin Brady c3cdb9cTrying a new Effects apiEdwin Brady ced7733Replace 'effects' with neweffectsEdwin Brady 81a1ddeadd system to Effects.System as isHeather 6b69961Rename 'effect' to 'call'Edwin Brady e7a35e9Remove implicit qualifier for 'effect'Edwin Brady 4ba5460Make 'neweffects' the official effects packageEdwin Brady