on e7d5ef1 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.rstHeading normalisation, and reST usage fixes. miscellany.rstHeading normalisation, and reST usage fixes. modules.rstHeading normalisation, and reST usage fixes. packages.rstHeading normalisation, and reST usage fixes. provisional.rstHeading normalisation, and reST usage fixes. starting.rstHeading normalisation, and reST usage fixes. syntax.rstHeading normalisation, and reST usage fixes. theorems.rstHeading normalisation, and reST usage fixes. typesfuns.rstHeading normalisation, and reST usage fixes. views.rstHeading normalisation, and reST usage fixes.