git.iko.soy/Idris-dev
on 7afa310 help sign in
history oflibs/effects/Effects.idr
all commits
382542aAdd %no_implicit directiveEdwin Brady b54541fFix doc rot on effects.Jan de Muijnck-Hughes ced7733Replace 'effects' with neweffectsEdwin Brady 930f16a"auto" now does proof searchEdwin Brady 9edaf2eMore documentation for runnning effects.Jan de Muijnck-Hughes cc99207Add staticEff/toEffEdwin Brady 6b69961Rename 'effect' to 'call'Edwin Brady e7a35e9Remove implicit qualifier for 'effect'Edwin Brady 5ba96c1Effect handlers should be coveringEdwin Brady 094be98Add an optional depth to 'search' tacticEdwin Brady c2bd084Add laziness to values which aren't evaluated in all branches of a function.bmsherman b283c0dFix some reachability warnings with EffEdwin Brady 6c3d33cFix totality of rebuildEnvEdwin Brady 1290495Initial documentation efforts for effectsJan de Muijnck-Hughes 4ba5460Make 'neweffects' the official effects packageEdwin Brady f98d138Fix parameter propagationEdwin Brady c959fb0Unification changesEdwin Brady 130f437Remove | annotation, make Force/Delay implicitEdwin Brady fe3f03fAdded %error_reverse annotationEdwin Brady a2bf00fExplain strange case in reflectListEffElem!Edwin Brady 5e7fc5dAdd 'byReflection' tacticEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady