git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
dee61df
help
sign in
history of
papers/impl-paper/typechecking.tex
all commits
091a5df
Some polishing, spell checking
Edwin Brady
14 years ago
7574d09
Lots of implementation paper revisions
Edwin Brady
14 years ago
2b3634a
Tinker with spacing
Edwin Brady
14 years ago
48b3618
Added metatheoretic properties
Edwin Brady
14 years ago
528c4b4
Note on metatheory
Edwin Brady
14 years ago
0d11515
Lots of implementation paper revision
Edwin Brady
14 years ago
75e7758
Some progress on implementation paper revisions
Edwin Brady
14 years ago
09857e4
Created papers directory
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