git.iko.soy/Idris-dev
on 8cf5fc6 help sign in
Idris-dev/docs/tutorial
15 files
../ conclusions.rstFix link to Freenode webchat. 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 sample code introduction.rstRefresh the tutorial miscellany.rstCouple of small tutorial typos were fixed. modules.rstFix some typos and normalize the use of punctuations. packages.rstRemove space before full stop 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.rstCouple of small tutorial typos were fixed. views.rstFix badly formatted DOI link