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