git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
385dcbf
help
sign in
history of
src/Idris/REPL/Parser.hs
all commits
4a1c2a1
Refactoring: Move options out of AbsSyntax
Niklas Larsson
9 years ago
d4ce631
Add :! for running shell commands from the REPL
Ryan Scott
10 years ago
fb33d8c
Indentation configuration via command line args.
Steven Shaw
10 years ago
7f0a137
Improved User facing progress reporting.
Jan de Muijnck-Hughes
10 years ago
e6ceb5c
Alphabetize and indent imports and LANGUAGE pragmas
Echo Nolan
10 years ago
b73004a
"Fix" unindented do blocks in let bindings
Echo Nolan
10 years ago
bd4789c
Use `fullExpr` instead of `typeExpr` in search
(λ _ λ)
10 years ago
7973024
Some internal structural Changes.
Jan de Muijnck-Hughes
10 years ago
0896073
Added documentation for modules.
Jan de Muijnck-Hughes
10 years ago
d2a8c3e
Fold portable into Codegen
Niklas Larsson
10 years ago
c292d12
Moved REPLParser to be under REPL namespace.
Jan de Muijnck-Hughes
11 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