git.iko.soy/Idris-dev
on bcc5fbf help sign in
history ofdocs/tutorial/typesfuns.rst
all commits
7f6f3c4Spelling in Sphinx documentationEcho Nolan abac36eRemove stray *s in tutorialEcho Nolan 60f0cb5Merge pull request #2543 from jfdm/record-docsJan de Muijnck-Hughes c4faa92Unescape '\' in list of non–user-definable symbolsJeremy W. Sherman 2fdf033Moved records to useful data typesJan de Muijnck-Hughes 65309a1Styling and OrderJan de Muijnck-Hughes 69db2b3Changes to tutorial.Jan de Muijnck-Hughes 7fe42e0Merge pull request #2470 from benjamin-hodgson/2460_multipleFieldsNiklas Larsson af79c58Merge pull request #2484 from melted/opsNiklas Larsson a26562aSync the documentation with opChars in ParseHelpers.hsNiklas Larsson 61fcd57Remove |splitAt| from let-binding sectionJeremy W. Sherman 9a9b797Add documentation for #2460Benjamin Hodgson fc4b908List unavailable operatorsNiklas Larsson 36f37dfFixed minor inconsistency in function definitionsThomas Cooper dd4e9f0Add short section on first class types to tutorialEdwin Brady 61870cbChange wording in unification errorsEdwin Brady ad55342Fix syntax rule documentationv0.9.18Edwin Brady 0afd6f2Docs for new record syntaxDavid Raymond Christiansen ab333a7Missed a bit in SigmaEdwin Brady 4fda5e8Correct implicit arguments section of tutorialEdwin Brady 1faefbaFix typo in docs/tutorial/typesfuns.rstNathan Dinsmore 6a4b48dFix documentation detailAdolfo Ochagavía d077509Updated typesfuns.rstJan de Muijnck-Hughes 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes 9ddf8a1Small wording changes in Data.Fin section of tutorialBryn Keller 61fc842Clarify Data.Fin meaning for people who haven't seen this usage beforeBryn Keller df9c178Fixes build errors relating to use of Sphinx 1.2.2.Jan de Muijnck-Hughes c093a9aFixed fontification of Idris from code to normal.Jan de Muijnck-Hughes 454ec21Add section on package creation, and typo fixes.Jan de Muijnck-Hughes ef50150UpdatesJan de Muijnck-Hughes 673bb99Fixed the last set (hopefull) of errors from the pandoc conversion.Jan de Muijnck-Hughes b70f2f1Updated license to be CC0 and restored missing section.Jan de Muijnck-Hughes af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes