on acdf90f 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.rstDocs for new record syntax views.rstFixed pipe symbol representation