git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
232a592
help
sign in
history of
test/test032/expected
all commits
40e6293
Some interactive editing fixes
Edwin Brady
13 years ago
13b182f
Fix integer literals at REPL
Edwin Brady
13 years ago
3c32b65
Whitespace cleanup.
George Leontiev
13 years ago
3dfae18
Add a test for interactive features of REPL
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