git.iko.soy/Idris-dev
on bb400de 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.rstClarified the formatting in the section on `If`. introduction.rstMinor edits to the tutorial miscellany.rstAdded slightly to the C FFI reference, and corrected a code example i… (#3126) modules.rstUpdated docs with note about visibility of type synonyms. 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.rstAdded slightly to the C FFI reference, and corrected a code example i… (#3126) views.rstFixed pipe symbol representation