git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
2e9fcd4
help
sign in
history of
tutorial/idris-tutorial.pdf
all commits
2e9fcd4
Remove semicolons in tutorial
Edwin Brady
15 years ago
f7c50cf
Monad comprehension example
Edwin Brady
15 years ago
37bb964
Document comprehensions
Edwin Brady
15 years ago
817c1a0
Monad comprehension notation
Edwin Brady
15 years ago
63fd5f6
Documented case expressions
Edwin Brady
15 years ago
a328ff1
update tutorial pdf
Edwin Brady
15 years ago
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