git.iko.soy/Idris-dev
on 7ecd2ff help sign in
Idris-dev/docs/tutorial
15 files
../ conclusions.rstuse HTTPS URL instead of HTTP URL when possible index.rstuse HTTPS URL instead of HTTP URL when possible interactive.rstAdd code-block mark. interfaces.rstFix some typos and normalize the use of punctuations. interp.rstFix sample code introduction.rstuse HTTPS URL instead of HTTP URL when possible miscellany.rstuse HTTPS URL instead of HTTP URL when possible 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.rstuse HTTPS URL instead of HTTP URL when possible theorems.rstFix some typos and normalize the use of punctuations. typesfuns.rstCouple of small tutorial typos were fixed. views.rstFix badly formatted DOI link