git.iko.soy/Idris-dev
on c8f7604 help sign in
history ofdocs/tutorial/typesfuns.rst
all commits
ed93603Fix some typos and normalize the use of punctuations.Oling Cat 2c001c9Refresh the tutorialEdwin Brady c8a4b7aTypo in tutorialpkel 43e7ec9Updated remaining use of deprecated `return` in Docs to `pure`.Jan de Muijnck-Hughes e3ddce1Fixed typo in typesfuns.rstJan de Muijnck-Hughes 7da4cf2Add info on $= record update syntax.Bartosz 41c19e9since count function deprecated in Prelude, update doc use enumFromTo and enumFromThenTo function in Prelude for claifyingzjhmale 0e5a476use `Double` instead of `Float` in docszjhmale e99330bInitial documentation for codata in the tutorialAhmad Salim Al-Sibahi c59c2f6Fixed error messages with `head` and `unsafeHead`Ahmad Salim Al-Sibahi 2ced521Merge pull request #3098 from ericqweinstein/fix/master/2983Ahmad Salim Al-Sibahi d252261Update docs to clarify reduction for total functionsEric Weinstein 34c8e1fAdded slightly to the C FFI reference, and corrected a code example i… (#3126)Colin Adams f86f86cMerge pull request #3004 from jhegedus42/patch-1Edwin Brady adc85d7Minor edits to the tutorialEdwin Brady 8f2456fReclarified statement in tutorial on implicit arguments and scope.Jan de Muijnck-Hughes a56fad9Fixes #2890 #2984Jan de Muijnck-Hughes fdac0f1Update typesfuns.rstjhegedus42 69921eeFix warning for implicitable namesEdwin Brady 23c2788Merge pull request #2892 from thisfred/tutorial-record-typoEdwin Brady 2f5dd79Merge pull request #2885 from DreamLinuxer/patch-1Edwin Brady 9f7f858More minor tutorial edits and correctionsEdwin Brady 0c54260Fix typo in nested record update.eric casteleijn 2cfbee4The old code doesn't workChao-Hong Chen 6dc452eupdate the PR about 'desugars' -> 'displays ... as ...' in the tutorial, according to christiansen's advises.XIE Yuheng 927332ffix typo in tutorial : 'desugars' -> 'displays ... as ...'XIE Yuheng e66ede2Fixes #2848 Copy-Paste TypoJan de Muijnck-Hughes d832730"function", not "method"Brent Yorgey 9cab2e9updates to typesfuns.rstBrent Yorgey da914afConsistency of implicit/pattern name binding rulesEdwin Brady 3326969Fix typoMarkus Klink 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