on 41951f2 help sign in
Idris-dev/docs/tutorial
15 files
../ conclusions.rstFix links index.rstprovisional wasn't included in the index for the tutorial. interactive.rstSpelling in Sphinx documentation interfaces.rstFix reST errors. interp.rstClarified the formatting in the section on `If`. introduction.rstRefresh the tutorial miscellany.rstDocuments how to include debugging symbols modules.rstFix reST errors. packages.rstRefresh the tutorial provisional.rstUpdate tutorial for class->interface starting.rstFix reST errors. syntax.rstFix reference to "refl" in misc reference theorems.rstRefresh the tutorial typesfuns.rstRefresh the tutorial views.rstExpands on documentation of the 'with' rule (#4195)