git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ddba413
help
sign in
history of
lib/Makefile
all commits
c997a48
Hierarchical namespaces; reorganised prelude accordingly
Edwin Brady
15 years ago
5528447
Not really mini any more...
Edwin Brady
15 years ago
12bd089
Added lifting of unsolved metavariables to global functions
Edwin Brady
15 years ago
868409a
Small bug fixes
Edwin Brady
15 years ago
f208c49
Library checking
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