git.iko.soy/Idris-dev
on ed5ecbc 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.rstmake light of `Data.Vect` and `Data.Fin` imports in the interp example 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.rstFix syntax rule documentation testing.rstFix links theorems.rstSpelling in Sphinx documentation typesfuns.rstConsistency of implicit/pattern name binding rules views.rstFixed pipe symbol representation