git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Idris-dev
/
samples
/
misc
7 files
../
Makefile
Spun out existing misc examples into own file
12 years ago
binary.idr
Change Instance to implementation (#3404)
10 years ago
interp-alt.idr
Spun out existing misc examples into own file
12 years ago
interp.idr
Fix 'interp' sample
10 years ago
javaffi.idr
Spun out existing misc examples into own file
12 years ago
named_implementation.lidr
Change Instance to implementation (#3404)
10 years ago
reflection.idr
Spun out existing misc examples into own file
12 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