git.iko.soy/Idris-dev
on fd5dfd9 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.rstFix some typos and normalize the use of punctuations. 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.rstFix some typos and normalize the use of punctuations. views.rstFix badly formatted DOI link