git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
e2d0099
help
sign in
Idris-dev
/
lib
1 folder, 4 files
../
prelude/
Added some serialisation
15 years ago
Makefile
Makefile fix (thanks to Dirk Ullrich)
15 years ago
builtins.idr
Add some string primitives (may need latest Epic)
15 years ago
io.idr
Some file handling
15 years ago
prelude.idr
File handling in prelude
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