git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
11d4fee
help
sign in
Idris-dev
/
lib
1 folder, 4 files
../
prelude/
Added some serialisation
15 years ago
Makefile
Generate bytecode so that files don't need to be rechecked every time they're loaded
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
Some file handling
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