git.iko.soy/Idris-dev
on cf47310 help sign in
Idris-dev/docs/effects
9 files
../ conclusions.rstFix links 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.rstFix links simpleeff.rstBring effects tutorial up to date state.rstFix links summary.rstBring effects summary up to date