f86f86cMerge pull request #3004 from jhegedus42/patch-1Edwin Brady11 years ago adc85d7Minor edits to the tutorialEdwin Brady11 years ago 8f2456fReclarified statement in tutorial on implicit arguments and scope.Jan de Muijnck-Hughes11 years ago a56fad9Fixes #2890 #2984Jan de Muijnck-Hughes11 years ago fdac0f1Update typesfuns.rstjhegedus4211 years ago 69921eeFix warning for implicitable namesEdwin Brady11 years ago 23c2788Merge pull request #2892 from thisfred/tutorial-record-typoEdwin Brady11 years ago 2f5dd79Merge pull request #2885 from DreamLinuxer/patch-1Edwin Brady11 years ago 9f7f858More minor tutorial edits and correctionsEdwin Brady11 years ago 0c54260Fix typo in nested record update.eric casteleijn11 years ago 2cfbee4The old code doesn't workChao-Hong Chen11 years ago 6dc452eupdate the PR about 'desugars' -> 'displays ... as ...' in the tutorial, according to christiansen's advises.XIE Yuheng11 years ago 927332ffix typo in tutorial : 'desugars' -> 'displays ... as ...'XIE Yuheng11 years ago e66ede2Fixes #2848 Copy-Paste TypoJan de Muijnck-Hughes11 years ago d832730"function", not "method"Brent Yorgey11 years ago 9cab2e9updates to typesfuns.rstBrent Yorgey11 years ago da914afConsistency of implicit/pattern name binding rulesEdwin Brady11 years ago 3326969Fix typoMarkus Klink11 years ago 7f6f3c4Spelling in Sphinx documentationEcho Nolan11 years ago abac36eRemove stray *s in tutorialEcho Nolan11 years ago 60f0cb5Merge pull request #2543 from jfdm/record-docsJan de Muijnck-Hughes11 years ago c4faa92Unescape '\' in list of non–user-definable symbolsJeremy W. Sherman11 years ago 2fdf033Moved records to useful data typesJan de Muijnck-Hughes11 years ago 65309a1Styling and OrderJan de Muijnck-Hughes11 years ago 69db2b3Changes to tutorial.Jan de Muijnck-Hughes11 years ago 7fe42e0Merge pull request #2470 from benjamin-hodgson/2460_multipleFieldsNiklas Larsson11 years ago af79c58Merge pull request #2484 from melted/opsNiklas Larsson11 years ago a26562aSync the documentation with opChars in ParseHelpers.hsNiklas Larsson11 years ago 61fcd57Remove |splitAt| from let-binding sectionJeremy W. Sherman11 years ago 9a9b797Add documentation for #2460Benjamin Hodgson11 years ago fc4b908List unavailable operatorsNiklas Larsson11 years ago 36f37dfFixed minor inconsistency in function definitionsThomas Cooper11 years ago dd4e9f0Add short section on first class types to tutorialEdwin Brady11 years ago 61870cbChange wording in unification errorsEdwin Brady11 years ago ad55342Fix syntax rule documentationv0.9.18Edwin Brady11 years ago 0afd6f2Docs for new record syntaxDavid Raymond Christiansen11 years ago ab333a7Missed a bit in SigmaEdwin Brady11 years ago 4fda5e8Correct implicit arguments section of tutorialEdwin Brady11 years ago 1faefbaFix typo in docs/tutorial/typesfuns.rstNathan Dinsmore12 years ago 6a4b48dFix documentation detailAdolfo Ochagavía12 years ago d077509Updated typesfuns.rstJan de Muijnck-Hughes12 years ago 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes12 years ago 9ddf8a1Small wording changes in Data.Fin section of tutorialBryn Keller12 years ago 61fc842Clarify Data.Fin meaning for people who haven't seen this usage beforeBryn Keller12 years ago df9c178Fixes build errors relating to use of Sphinx 1.2.2.Jan de Muijnck-Hughes12 years ago c093a9aFixed fontification of Idris from code to normal.Jan de Muijnck-Hughes12 years ago 454ec21Add section on package creation, and typo fixes.Jan de Muijnck-Hughes12 years ago ef50150UpdatesJan de Muijnck-Hughes12 years ago 673bb99Fixed the last set (hopefull) of errors from the pandoc conversion.Jan de Muijnck-Hughes12 years ago b70f2f1Updated license to be CC0 and restored missing section.Jan de Muijnck-Hughes12 years ago