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