git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
385dcbf
help
sign in
history of
docs/st/composing.rst
all commits
5e22fb4
Fix code typo in "Composing State Machines" documentation
mitchmindtree
9 years ago
16ee8cf
fix some more typos
Alex Gryzlov
9 years ago
a674540
Add section on composing state machines
Edwin Brady
10 years ago
92bac30
Add to ST tutorial for Control.ST.call
Edwin Brady
10 years ago
662e247
Add ST tutorial section on DataStore interface
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