git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
a391979
help
sign in
history of
impl-paper/Makefile
all commits
a3569e5
Some proofreading, filling in some gaps.
Edwin Brady
15 years ago
2899286
An introduction
Edwin Brady
15 years ago
86c5060
An elaboration example
Edwin Brady
15 years ago
bbb978b
Set up .bib
Edwin Brady
15 years ago
ec87a69
Some effort at reporting line numbers of errors (top level of decl only)
Edwin Brady
15 years ago
1c9392e
tinker tinker
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