git.iko.soy/Idris-dev
on 8ea8a38 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.rstSpelling in Sphinx documentation introduction.rstFix links simpleeff.rstChange name of Err to Error (#3187) state.rstclass->interface change in rest of tutorial summary.rstclass->interface change in rest of tutorial