git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
dcb9ca0
help
sign in
history of
impl-paper/conclusions.tex
all commits
923e19a
paper updates
Edwin Brady
15 years ago
f23f336
Note on performance and compilation
Edwin Brady
15 years ago
4d1bd2d
Elab properties
Edwin Brady
15 years ago
6a8c4e7
Some TODO notes and revisions in the paper
Edwin Brady
15 years ago
ce0bc84
Fix typos
Edwin Brady
15 years ago
20f5db1
related work and conclusion
Edwin Brady
15 years ago
a3569e5
Some proofreading, filling in some gaps.
Edwin Brady
15 years ago
2899286
An introduction
Edwin Brady
15 years ago
8c5ca29
Start intro
Edwin Brady
15 years ago
e74e08d
More on elaboration
Edwin Brady
15 years ago
bbb978b
Set up .bib
Edwin Brady
15 years ago
db7f0c1
Paper structure; delete useless code
Edwin Brady
15 years ago
dc0c198
First lot of source files and paper
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