git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
96db606
help
sign in
history of
src/Util/System.hs
all commits
1e52324
Added simple library packaging system Now used for the prelude (see lib/base.ipkg)
Edwin Brady
14 years ago
c02a58c
Added fork (but not working properly yet)
Edwin Brady
14 years ago
2533b8d
Add missing file
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