git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
b0248ea
help
sign in
Idris-dev
/
lib
6 files
../
Makefile
Added lifting of unsolved metavariables to global functions
15 years ago
io.idr
Added some library files
15 years ago
list.idr
Added some library files
15 years ago
nat.idr
Added lib/ and prelude
15 years ago
prelude.idr
Generic syntax declarations (see prelude.idr for example)
15 years ago
vect.idr
added vect.idr
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