git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
dc7650d
help
sign in
history of
test/test010/expected
all commits
33baa44
More on errors; propagate line numbers
Edwin Brady
15 years ago
7fb7dec
Improved termination check (gets ackermann now, but still no mutual recursive definitions)
Edwin Brady
15 years ago
de6bb41
Added 'total' keyword and positivity check
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