git.iko.soy/Idris-dev
on 1b71663 help sign in
history oflibs/effects/Effect/Random.idr
all commits
fab2841fix for odd-even bug in random (#4339)martinbaker f754d9cPurify Idris of "return"David Christiansen 68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady da914afConsistency of implicit/pattern name binding rulesEdwin Brady 44ca9c2Remove spurious Data.Fin imports (now reexported by Vect)BlackBrane c3cdb9cTrying a new Effects apiEdwin Brady 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady e5ad2eaFix error in rndInt making lower bound ineffectiveMelvar Chen ced7733Replace 'effects' with neweffectsEdwin Brady 6b69961Rename 'effect' to 'call'Edwin Brady e7a35e9Remove implicit qualifier for 'effect'Edwin Brady 5ba96c1Effect handlers should be coveringEdwin Brady 90bad48Refactors rndFin' to only accept length > 0 vectorsKester Tong 31b48edAdds rndSelectKester Tong 5ded2c1Adds docstringsKester Tong ce9afaeMakes rndFin take all values in Fin (S k)Kester Tong 4ba5460Make 'neweffects' the official effects packageEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady