on c69ff4e help sign in
Idris-dev/docs/tutorial
15 files
../ classes.rstFix formatting in docs/tutorial/classes.rst conclusions.rstHeading normalisation, and reST usage fixes. index.rstHeading normalisation, and reST usage fixes. interactive.rstHeading normalisation, and reST usage fixes. interp.rstHeading normalisation, and reST usage fixes. introduction.rstFixes to Introduction. miscellany.rstHeading normalisation, and reST usage fixes. modules.rstFixed pygments styling packages.rstHeading normalisation, and reST usage fixes. provisional.rstHeading normalisation, and reST usage fixes. starting.rstFix typo in starting.rst syntax.rstHeading normalisation, and reST usage fixes. theorems.rstHeading normalisation, and reST usage fixes. typesfuns.rstFix typo in docs/tutorial/typesfuns.rst views.rstFixed pipe symbol representation