git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
b0cb4e2
help
sign in
history of
src/Idris/Output.hs
all commits
c4eca4f
Merge branch 'master' into parenthasizeInfix
bmsherman
12 years ago
7d38943
Proper and complete parenthasization of infix operator names.
bmsherman
12 years ago
c4ce749
Parenthasize infix names in REPL output
bmsherman
12 years ago
21124c3
Merge remote-tracking branch 'upstream/master' into cantResolveAlts
bmsherman
12 years ago
282abc8
Enable pretty printing of CantResolveAlts errors.
bmsherman
12 years ago
9c3fefe
Improve appearance of type search results.
bmsherman
12 years ago
7143962
Make totality a warning until compiling
David Raymond Christiansen
12 years ago
0663f4d
Merge pull request #1183 from pminten/ppopt
Edwin Brady
12 years ago
9491c3c
Add ppOptionIst function.
Peter Minten
12 years ago
5e3c248
Change impl argument to a pretty printing opt record
Peter Minten
13 years ago
f9e8ec2
Make ihWarn work properly with emptyFC on command line
David Raymond Christiansen
13 years ago
7273f3b
Fix line breaks in display of :t at REPL
David Raymond Christiansen
13 years ago
bfe6499
Give the pretty-printer access to info about infixes
David Raymond Christiansen
13 years ago
f0a5442
Provide IDESlave output with docs and type
David Raymond Christiansen
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