git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
e2005e1
help
sign in
history of
docs/tutorial/interfaces.rst
all commits
0e5a476
use `Double` instead of `Float` in docs
zjhmale
10 years ago
62094dd
Add brief tutorial section
Edwin Brady
11 years ago
9f7f858
More minor tutorial edits and corrections
Edwin Brady
11 years ago
23a2bfb
Update tutorial for class->interface
Edwin Brady
11 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