on 76ec3fe 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.