git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
5ffef89
help
sign in
history of
libs/neweffects/Effect/System.idr
all commits
ded4d17
add system to Effects/System neweffects
Heather
12 years ago
b2653e4
Added experimental neweffects library
Edwin Brady
12 years ago
4ba5460
Make 'neweffects' the official effects package
Edwin Brady
13 years ago
d9b6399
Add beginnings of System effect
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