git.iko.soy/Idris-dev
on master help sign in
Idris-dev/docs/st
6 files
../ composing.rstFix some typos and normalize the use of punctuations. examples.rstFix a typo index.rstuse HTTPS URL instead of HTTP URL when possible introduction.rstuse HTTPS URL instead of HTTP URL when possible machines.rstrecommit machines.rst state.rstFunction typo