git.iko.soy/Idris-dev
on 2da8c19 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.rstBetter inference for case blocks state.rstSpelling in Sphinx documentation summary.rstBring effects summary up to date