on 009a5d7 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.rstUpdate tutorial for class->interface introduction.rstAdd quotes to "Hello world!" miscellany.rstUpdate docs for 'auto' modules.rstUpdate tutorial for class->interface 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 #2892 from thisfred/tutorial-record-typo views.rstFixed pipe symbol representation