git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
e62b7ea
help
sign in
history of
tutorial/idris-tutorial.pdf
all commits
4cfbff1
Tinkered with syntax rules section in tutorial
Edwin Brady
15 years ago
310ca03
First complete tutorial draft
Edwin Brady
15 years ago
ebbcf8d
Update tutorial pdf
Edwin Brady
15 years ago
9ca99e9
Some more tutorial adapted from old version
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