git.iko.soy/Idris-dev
on e8253fc help sign in
Idris-dev/docs/tutorial
15 files
../ conclusions.rstFix links index.rstUpdates to User Docs on Idris packages. interactive.rstSpelling in Sphinx documentation interfaces.rstUpdated remaining use of deprecated `return` in Docs to `pure`. 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.rstUpdates to User Docs on Idris packages. provisional.rstUpdate tutorial for class->interface starting.rstAdd --package contrib to tutorial syntax.rstuse `Double` instead of `Float` in docs theorems.rstSpelling in Sphinx documentation typesfuns.rstUpdated remaining use of deprecated `return` in Docs to `pure`. views.rstAdd code example and correct the wording