git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
e947d69
help
sign in
history of
docs/reference/elaborator-reflection.rst
all commits
a0d8376
Merge pull request #2518 from jeremy-w/jeremy-w/mark-interactive-proving-as-deprecated
Niklas Larsson
11 years ago
7f6f3c4
Spelling in Sphinx documentation
Echo Nolan
11 years ago
90b7d07
Point readers at Elaborator Reflection
Jeremy W. Sherman
11 years ago
62bb361
Merge pull request #2408 from mjgpy3/metavariable_to_hole_docs
David Christiansen
11 years ago
696f336
Replace "metavariable" with "hole"
Michael Gilliland
11 years ago
6923b54
Fixed reST usage in elaborator reference.
Jan de Muijnck-Hughes
11 years ago
54cd5a6
An interactive Elab shell
David Raymond Christiansen
11 years ago
5db2080
Initial elab reflection docs
David Raymond Christiansen
11 years ago
bfa72a9
Initial docs for %runElab
David Raymond Christiansen
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