git.iko.soy/Idris-dev
on 9bebebc help sign in
Idris-dev/docs/tutorial
16 files
../ conclusions.rstFix links index.rstUpdate tutorial for class->interface interactive.rstSpelling in Sphinx documentation interfaces.rstAdd brief tutorial section interp.rstFixed types in tutorial for Well-Typed Interpreter. introduction.rstMinor edits to the tutorial miscellany.rstUpdate docs for 'auto' modules.rstUpdated docs with note about visibility of type synonyms. packages.rstSpelling in Sphinx documentation provisional.rstUpdate tutorial for class->interface starting.rstAdd --package contrib to tutorial syntax.rstUpdate tutorial for class->interface testing.rstFix links theorems.rstSpelling in Sphinx documentation typesfuns.rstMinor edits to the tutorial views.rstFixed pipe symbol representation