git.iko.soy/Idris-dev
on 1b71663 help sign in
Idris-dev/docs/effects
9 files
../ conclusions.rstSpelling in Sphinx documentation depeff.rstclass->interface change in rest of tutorial hangman.rstclass->interface change in rest of tutorial impleff.rstUpdate impleff.rst index.rstAdd note on Effects to ST tutorial introduction.rstFix quotes in Effects introduction simpleeff.rstFixes error in type definition for So. state.rstFix typo in Dep.Eff documentation. summary.rstclass->interface change in rest of tutorial