git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
dfbb3db
help
sign in
history of
src/Idris/Help.hs
all commits
75e0141
add command to change current directory
Hannes Mehnert
14 years ago
a029bd8
reduce duplication by providing a show instance for CmdArg
Hannes Mehnert
14 years ago
70c9bd5
Completion and help for :dynamic at the REPL
David Christiansen
14 years ago
82190d3
Basics of command to execute IO actions in the interpreter
David Christiansen
14 years ago
2297270
unify help and completion of REPL - previously they were not in sync, now it is one lookup table
Hannes Mehnert
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