../ conclusions.rstFix links11 years ago index.rstUpdates to User Docs on Idris packages.10 years ago interactive.rstSpelling in Sphinx documentation11 years ago interfaces.rstAdd ST tutorial section on DataStore interface10 years ago interp.rstClarified the formatting in the section on `If`.11 years ago introduction.rstMinor edits to the tutorial11 years ago miscellany.rstuse `Double` instead of `Float` in docs10 years ago modules.rstModule Dependencies Using Atom should be a sub-heading10 years ago packages.rstUpdates to User Docs on Idris packages.10 years ago provisional.rstUpdate tutorial for class->interface11 years ago starting.rstAdd --package contrib to tutorial11 years ago syntax.rstAdd missing quotation marks for `in`10 years ago theorems.rstchange <= to < in text to match code block10 years ago typesfuns.rstTypo in tutorial10 years ago views.rstAdd code example and correct the wording10 years ago