git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
496cf41
help
sign in
history of
iif/ctest.c
all commits
b70780f
rename rts include file
Edwin Brady
14 years ago
ccc0f67
Added SLIDE for tail calls
Edwin Brady
14 years ago
204d938
Starting to make new RTS work
Edwin Brady
14 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