git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
baff441
help
sign in
history of
src/Idris/Docs.hs
all commits
28ba8de
better lookup for operators
raichoo
14 years ago
39e0fba
added fixity of operators to :doc output
raichoo
14 years ago
f9a1dab
Fix pattern variable problem when patterns generated by unification
Edwin Brady
14 years ago
2b7db6a
Fix 'where' lifting bug Make sure functions have unique names when lifted
Edwin Brady
14 years ago
0b3b0b5
Display useful information on :doc (It's ugly though...)
Edwin Brady
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