on 6c1237b help sign in
Idris-dev/docs/tutorial
15 files
../ classes.rstHeading normalisation, and reST usage fixes. 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 documentation detail views.rstFixed pipe symbol representation