git.iko.soy/Idris-dev
on 229331c 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.rstuse literate-idris lexer to highlight literate code 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