e79aaaaMerge remote-tracking branch 'origin/master' into ghc-8.8Niklas Larsson7 years ago 57624a8Fix test for GHC 8.8Niklas Larsson7 years ago f784403Use a newer Ubuntu on travisNiklas Larsson7 years ago 6ccef96Use legacy cabal commands for travisNiklas Larsson7 years ago 60c0d1cCut GHC 7.10, add GHC 8.8 to TravisNiklas Larsson7 years ago 41a1278Upgrade cabal for travisNiklas Larsson7 years ago b5a6637Rename expected, input and runNiklas Larsson7 years ago 1dd9316Compatibility with GHC 8.8 and Cabal 3.0Niklas Larsson7 years ago 1f9ad21Merge pull request #4804 from nickdrozd/parityNiklas Larsson7 years ago 2c45164Add parity arithmetic proofsNick Drozd7 years ago 0fd2dabMerge pull request #4801 from martinbaker/parseLibDocNiklas Larsson7 years ago d689c19start on Defining Block Structure using Indentsmartinbaker7 years ago 0a8b421add page about whitespace and commentsmartinbaker7 years ago eb780f7Implement Left Recursion Eliminationmartinbaker7 years ago bc92430tidy up parser library documentationmartinbaker7 years ago af2766cwork on parser pagemartinbaker7 years ago fdc5a52dicuss whitespace and commentsmartinbaker7 years ago e78b7d8fix markupmartinbaker7 years ago b2dd4bcbetter explanation for lexermartinbaker7 years ago 3ce4e48improve lexer descriptionmartinbaker7 years ago bdb7405add parser library documentationmartinbaker7 years ago d86f82eadd parser library documentationmartinbaker7 years ago 3b443e2Merge pull request #4798 from martinbaker/fixSphinxWarningNiklas Larsson7 years ago 9bffc19Merge pull request #4797 from MilanKral/httpsNiklas Larsson7 years ago 01dd51cMerge pull request #4796 from mkleczek/missing-reservenoalloc-in-tojson-bcNiklas Larsson7 years ago d5e3013Merge pull request #4795 from clayrat/patch-18Niklas Larsson7 years ago 94a6326Merge pull request #4790 from clayrat/patch-17Niklas Larsson7 years ago 7690efbMerge pull request #4794 from martinbaker/mydoc2Niklas Larsson7 years ago 75e2f82oops undo fie changed in errormartinbaker7 years ago d74ca63update reference sectionmartinbaker7 years ago 16e325bfix Sphinx warningmartinbaker7 years ago 35757f9use HTTPS URL instead of HTTP URL when possibleMilan Kral7 years ago e3293d9Added missing RESERVENOALLOC case to ToJSON BC definitionMichal Kleczek7 years ago 5951b75add a couple of Fin operationsAlex Gryzlov7 years ago 25af56badd links between sectionsmartinbaker7 years ago 4abb58ffix duplicate namemartinbaker7 years ago 840d3e4rearrange documentation for elaborator reflectionmartinbaker7 years ago 9baca94add index function for Data.List.Quantifiers.AllAlex Gryzlov7 years ago 4d8d85dMerge pull request #4778 from cramsay/more_proof_doc_fixesNiklas Larsson7 years ago 0736219Merge pull request #4700 from martinbaker/mydocNiklas Larsson7 years ago 21434e0Merge pull request #4785 from buzden/absurd-for-soNiklas Larsson7 years ago b0a55aaMerge pull request #4784 from buzden/effects-tutorial-fixNiklas Larsson7 years ago 7d34ebcMerge pull request #4783 from buzden/reference-docs-correctionsNiklas Larsson7 years ago 8cf5fc6Couple of convenience absurd-related functions were added to `Data.So`.Denis Buzdalov7 years ago b41b8c6One important comment for those who wants to use actual lib was added.Denis Buzdalov7 years ago 741c8f7Existing note has been put to a special note block.Denis Buzdalov7 years ago 8207268Small (typo?) corrections.Denis Buzdalov7 years ago cdf947aEffects summary was updated according to the current `Eff` definition.Denis Buzdalov7 years ago 2f0f04cSome corrections in the docs/reference were done.Denis Buzdalov7 years ago 8526a9fMerge pull request #4776 from buzden/fix-proof-docsNiklas Larsson7 years ago