git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ae4ca22
help
sign in
history of
CONTRIBUTORS
all commits
2297270
unify help and completion of REPL - previously they were not in sync, now it is one lookup table
Hannes Mehnert
14 years ago
11f687e
Add myself to CONTRIBUTORS
David Christiansen
14 years ago
83e4758
Added CONTRIBUTORS file. Feel free to edit :).
Edwin Brady
14 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