on 77b4ec8 help sign in
Idris-dev/docs/tutorial
16 files
../ classes.rstSpelling in Sphinx documentation conclusions.rstFix links index.rstUpdates interactive.rstSpelling in Sphinx documentation interp.rstclarify re: using block and indentation introduction.rstAdd quotes to "Hello world!" miscellany.rstUpdate docs for 'auto' modules.rstCapitalize module name to match code sample packages.rstSpelling in Sphinx documentation provisional.rstConsistency of implicit/pattern name binding rules starting.rstAdd --package contrib to tutorial syntax.rsttypo fixes testing.rstFix links theorems.rstSpelling in Sphinx documentation typesfuns.rst"function", not "method" views.rstFixed pipe symbol representation