on d4e7ead help sign in
Idris-dev/docs/effects
9 files
../ conclusions.rstSpelling in Sphinx documentation depeff.rstType arguments of declaration were made to be similar to the others. 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