git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
385dcbf
help
sign in
history of
docs/st/examples.rst
all commits
16ee8cf
fix some more typos
Alex Gryzlov
9 years ago
e0592ea
Fix URL for "State machines all the way down"
Edwin Brady
10 years ago
5bdfc89
Add network example to ST tutorial
Edwin Brady
10 years ago
92bac30
Add to ST tutorial for Control.ST.call
Edwin Brady
10 years ago
46c0d92
Start ST tutorial
Edwin Brady
10 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