git.iko.soy/Idris-dev
on cd4e91d help sign in
Idris-dev/docs/effects
9 files
../ conclusions.rstHeading normalisation, and reST usage fixes. 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.rstFixes #2045 Fixed reST syntax error in license declaration. introduction.rstBring effects tutorial up to date simpleeff.rstBring effects tutorial up to date state.rstBring effects tutorial up to date summary.rstBring effects summary up to date