git.iko.soy/Idris-dev
on ed5ecbc help sign in
Idris-dev/docs/effects
9 files
../ conclusions.rstSpelling in Sphinx documentation depeff.rstRemove "notation" - syntax rule isn't used anymore. hangman.rstUpdate Mystery Word example code impleff.rstlast -> list index.rstSpelling in Sphinx documentation introduction.rstFix links simpleeff.rstRestructed vector add example and fixed error in code snippet. state.rstSpelling in Sphinx documentation summary.rstBring effects summary up to date