git.iko.soy/Idris-dev
on v1.3.0 help sign in
Idris-dev/docs/tutorial
15 files
../ conclusions.rstFix links index.rstprovisional wasn't included in the index for the tutorial. interactive.rstAdd code-block mark. 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.rstAdd code-block mark. 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.rstFixes a few typos in the tutorial on views