git.iko.soy/Idris-dev
on 89c19be help sign in
Idris-dev/docs/effects
9 files
../ conclusions.rstHeading normalisation, and reST usage fixes. depeff.rstHeading normalisation, and reST usage fixes. hangman.rstHeading normalisation, and reST usage fixes. impleff.rstHeading normalisation, and reST usage fixes. index.rstFixes #2045 Fixed reST syntax error in license declaration. introduction.rstUpdate introduction.rst simpleeff.rstHeading normalisation, and reST usage fixes. state.rstHeading normalisation, and reST usage fixes. summary.rstHeading normalisation, and reST usage fixes.