git.iko.soy/Idris-dev
on f2bada8 help sign in
Idris-dev/docs/tutorial
15 files
../ conclusions.rstFix links index.rstRefresh the tutorial interactive.rstSpelling in Sphinx documentation interfaces.rstRefresh the tutorial interp.rstClarified the formatting in the section on `If`. introduction.rstRefresh the tutorial miscellany.rstRefresh the tutorial modules.rstRefresh the tutorial packages.rstRefresh the tutorial provisional.rstUpdate tutorial for class->interface starting.rstRefresh the tutorial syntax.rstFix reference to "refl" in misc reference theorems.rstRefresh the tutorial typesfuns.rstRefresh the tutorial views.rstRefresh the tutorial