git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
a39a3dd..master
compare
6c51f87
Fix name unification in interactive case split
Edwin Brady
11 years ago
0a96c6f
Fix views tests on node backend
Edwin Brady
11 years ago
567729e
Exported FHandle to facilitate passing Files to and from C
Colin Adams
11 years ago
1f14478
Added to_C to Prelude.File
Colin Adams
11 years ago
newer commits
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