git.iko.soy/Idris-dev
on ba99edd help sign in
Idris-dev/docs/tutorial
15 files
../ conclusions.rstFix links index.rstprovisional wasn't included in the index for the tutorial. interactive.rstFix some typos and normalize the use of punctuations. interfaces.rstFix some typos and normalize the use of punctuations. interp.rstFix some typos and normalize the use of punctuations. introduction.rstRefresh the tutorial miscellany.rstFix some typos and normalize the use of punctuations. modules.rstFix some typos and normalize the use of punctuations. packages.rstFix some typos and normalize the use of punctuations. provisional.rstUpdate tutorial for class->interface starting.rstFix reST errors. syntax.rstFix some typos and normalize the use of punctuations. theorems.rstFix some typos and normalize the use of punctuations. typesfuns.rstFix some typos and normalize the use of punctuations. views.rstExpands on documentation of the 'with' rule (#4195)