../ conclusions.rstFix links11 years ago index.rstUpdate docs to clarify reduction for total functions11 years ago interactive.rstSpelling in Sphinx documentation11 years ago interfaces.rstAdd brief tutorial section11 years ago interp.rstClarified the formatting in the section on `If`.11 years ago introduction.rstMinor edits to the tutorial11 years ago miscellany.rstAdded slightly to the C FFI reference, and corrected a code example i… (#3126)10 years ago modules.rstUpdated docs with note about visibility of type synonyms.11 years ago packages.rstRelax naming rules for packages.10 years ago provisional.rstUpdate tutorial for class->interface11 years ago starting.rstAdd --package contrib to tutorial11 years ago syntax.rstUpdate tutorial for class->interface11 years ago testing.rstFix links11 years ago theorems.rstSpelling in Sphinx documentation11 years ago typesfuns.rstFixed error messages with `head` and `unsafeHead`10 years ago views.rstFixed pipe symbol representation12 years ago