git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
d61641d
help
sign in
history of
libs/effects/Effect/Random.idr
all commits
90bad48
Refactors rndFin' to only accept length > 0 vectors
Kester Tong
13 years ago
31b48ed
Adds rndSelect
Kester Tong
13 years ago
5ded2c1
Adds docstrings
Kester Tong
13 years ago
ce9afae
Makes rndFin take all values in Fin (S k)
Kester Tong
13 years ago
4ba5460
Make 'neweffects' the official effects package
Edwin Brady
13 years ago
40924dc
Moved libraries around, removed 'effects' flag
Edwin Brady
13 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list