git.iko.soy/Idris-dev
on bdf2d7a help sign in
Idris-dev/docs/tutorial
16 files
../ conclusions.rstFix links index.rstUpdate docs to clarify reduction for total functions interactive.rstSpelling in Sphinx documentation interfaces.rstuse `Double` instead of `Float` in docs interp.rstClarified the formatting in the section on `If`. introduction.rstMinor edits to the tutorial miscellany.rstuse `Double` instead of `Float` in docs modules.rstUpdated docs with note about visibility of type synonyms. packages.rstRelax naming rules for packages. provisional.rstUpdate tutorial for class->interface starting.rstAdd --package contrib to tutorial syntax.rstuse `Double` instead of `Float` in docs testing.rstFix links theorems.rstSpelling in Sphinx documentation typesfuns.rstsince count function deprecated in Prelude, update doc use enumFromTo and enumFromThenTo function in Prelude for claifying views.rstFixed pipe symbol representation