git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
385dcbf
help
sign in
history of
docs/st/state.rst
all commits
398c427
Fix a couple of typos in ST docs
Edwin Brady
10 years ago
18108fe
Fix a couple of types in ST tutorial
Edwin Brady
10 years ago
5bdfc89
Add network example to ST tutorial
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