git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
385dcbf
help
sign in
history of
test/primitives006/run
all commits
b92f7ac
New implementation of rewrite
Edwin Brady
11 years ago
b6449de
Fix test runner.
Matus Tejiscak
11 years ago
62d6916
Bump test number.
Matus Tejiscak
11 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