git.iko.soy/Idris-dev
on 7afa310 help sign in
history oflibs/effects/Effect/Random.idr
all commits
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