git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
4e34dfd
help
sign in
Idris-dev
/
samples
7 files
../
Makefile
remove /examples/ folder, move Makefile to /samples/
12 years ago
binary.idr
Address semantic differences in putting things to STDOUT.
12 years ago
interp-alt.idr
Address semantic differences in putting things to STDOUT.
12 years ago
interp.idr
Address semantic differences in putting things to STDOUT.
12 years ago
javaffi.idr
Address semantic differences in putting things to STDOUT.
12 years ago
named_instance.lidr
Whitespace cleanup.
13 years ago
reflection.idr
Renaming of built-in datatypes works finally
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