git.iko.soy/Idris-dev
on f25bcfe help sign in
history oflibs/effects/Effect/System.idr
all commits
a4c183cSet C language standard to C99 in runtime and codegen (#4308)Alex Queiroz 385f848Add usleep from System to Effect.System (#3749)Artem Ohanjanyan 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