git.iko.soy/Idris-dev
on bb9a135 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.rstclass->interface change in rest of tutorial index.rstAdd note on Effects to ST tutorial introduction.rstFix quotes in Effects introduction simpleeff.rstUpdated remaining use of deprecated `return` in Docs to `pure`. state.rstFix typo in Dep.Eff documentation. summary.rstclass->interface change in rest of tutorial