git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
bf4e535
help
sign in
history of
samples/interp-alt.idr
all commits
5ea6aa0
Address semantic differences in putting things to STDOUT.
Jan de Muijnck-Hughes
12 years ago
fe569c4
Finished making standard library naming consistent
Ahmad Salim Al-Sibahi
12 years ago
3c32b65
Whitespace cleanup.
George Leontiev
13 years ago
d6f785e
Fix Vect arguments in samples/
Edwin Brady
13 years ago
faf04f3
rename fO into fZ
raichoo
13 years ago
4a15c64
Fix samples to use Type instead of Set
Frederic Koehler
14 years ago
6682ebb
Propagate solutions properly
Edwin Brady
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