git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ff0fbfa
help
sign in
history of
test/test010/expected
all commits
54ad219
Add size change termination Now deals with recursive functions (still only simple structural size changes spotted, however)
Edwin Brady
14 years ago
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