git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
7afa310
help
sign in
history of
src/Idris/CmdOptions.hs
all commits
d9b4c4c
Fix for optparse-applicative breaking change
RyanGlScott
12 years ago
4fd6bc6
Allow REPL to run on another port (flag --port)
Sebastian de Bellefon
12 years ago
b46ba07
Fix typo in help message (language extension)
Mort Yao
12 years ago
12ff2e3
Remove unnecessary import
David Raymond Christiansen
12 years ago
73c481d
fix compatibility with optparse-applciative 0.10 - the `option` API is changed - `execParserMaybe` is deprecated
suhorng
12 years ago
da7470b
Document --check in --help
Shea Levy
12 years ago
93f407d
Use strings for code generators
Edwin Brady
12 years ago
be0a480
provide a new option, --ideslave-socket, for an ideslave listening on a socket
Hannes Mehnert
12 years ago
a75bd0f
Merge pull request #1280 from david-christiansen/testrunner
Edwin Brady
12 years ago
e2a34a8
Add --testpkg option + tests section in IPKG files
David Raymond Christiansen
12 years ago
3e614c9
Added descriptions to Options parser for the 'help' flag.
Jan de Muijnck-Hughes
12 years ago
f08f83a
Fixed typo in CmdOptions to reinstate `--checkpkg`
Jan de Muijnck-Hughes
12 years ago
9be5866
started working on new cmd arg parser
klrr
12 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