git.iko.soy/Idris-dev
on aeb703e help sign in
Idris-dev/docs/effects
9 files
../ conclusions.rstSpelling in Sphinx documentation depeff.rstBring effects tutorial up to date hangman.rstMerge pull request #2408 from mjgpy3/metavariable_to_hole_docs impleff.rstBring effects tutorial up to date index.rstSpelling in Sphinx documentation introduction.rstFix links simpleeff.rstSpelling in Sphinx documentation state.rstSpelling in Sphinx documentation summary.rstBring effects summary up to date