on 5134aeb 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.rstClarified the formatting in the section on `If`. 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.rstMerge pull request #3004 from jhegedus42/patch-1 views.rstFixed pipe symbol representation