git.iko.soy/Idris-dev
on ea0ea47 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.rstHeading normalisation, and reST usage fixes. simpleeff.rstHeading normalisation, and reST usage fixes. state.rstHeading normalisation, and reST usage fixes. summary.rstHeading normalisation, and reST usage fixes.