git.iko.soy/Idris-dev
on 662b64e 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 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.rstFix badly formatted DOI link