git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
dcba960
help
sign in
history of
impl-paper/Makefile
all commits
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