on a95debf 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.rstinsert missed lambda param introduction.rstFixes to Introduction. miscellany.rstHeading normalisation, and reST usage fixes. modules.rstcorrect examples so that they actually compile 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