on f9c3fd9 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.