git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
43ffd25
help
sign in
history of
impl-paper/typechecking.tex
all commits
43ffd25
Instance tactic explanation
Edwin Brady
15 years ago
36abfda
Elaborating expressions
Edwin Brady
15 years ago
2b5505d
A bit on proof state
Edwin Brady
15 years ago
86c5060
An elaboration example
Edwin Brady
15 years ago
4d2f0fe
More on the core TT
Edwin Brady
15 years ago
8bf44c2
More implementation paper
Edwin Brady
15 years ago
0af8a2e
Work on implementation paper; tutorial fixes
Edwin Brady
15 years ago
8ea902d
Added %hide and %freeze directives
Edwin Brady
15 years ago
db7f0c1
Paper structure; delete useless code
Edwin Brady
15 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