git.iko.soy/Idris-dev
on 80b60a6 help sign in
Idris-dev/docs/st
6 files
../ composing.rstFix some typos and normalize the use of punctuations. examples.rstfix some more typos index.rstStart ST tutorial introduction.rstUpdate introduction.rst machines.rstrecommit machines.rst state.rstfix punctuation