git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
e0592ea
help
sign in
Idris-dev
/
docs
/
st
6 files
../
composing.rst
Add section on composing state machines
10 years ago
examples.rst
Fix URL for "State machines all the way down"
10 years ago
index.rst
Start ST tutorial
10 years ago
introduction.rst
Fix URL for "State machines all the way down"
10 years ago
machines.rst
Add section on composing state machines
10 years ago
state.rst
Add network example to ST tutorial
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