git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
c286d1b
help
sign in
Idris-dev
/
rts
3 files
../
Makefile
First baby steps towards a new RTS (and towards removing epic dependency)
14 years ago
closure.c
Added binding form to syntax rules (and updated tutorial accordingly)
14 years ago
closure.h
Added binding form to syntax rules (and updated tutorial accordingly)
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