git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
5bc16ae
help
sign in
history of
test/test032/expected
all commits
4a0eba1
Add %name directive for naming hints in editing.
Edwin Brady
13 years ago
96234a3
Invent names when case splitting
Edwin Brady
13 years ago
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