git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
90b7d07..master
compare
763ac00
Merge remote-tracking branch 'upstream/master' into wip/tactical
David Raymond Christiansen
11 years ago
0fed832
Add WHNF to Elab reflection
David Raymond Christiansen
11 years ago
3c5327f
Merge branch 'master' into wip/tactical
David Raymond Christiansen
11 years ago
d54064f
Evaluator access in Elab scripts
David Raymond Christiansen
11 years ago
a3db741
Add Quotable Raw Raw instance
David Raymond Christiansen
11 years ago
3b90559
Indicate constructor fields vs parameters in Elab
David Raymond Christiansen
11 years ago
newer commits
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