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 6539ef4Merge pull request #4777 from bwignall/typoNiklas Larsson7 years ago f5e68eeMerge pull request #4780 from buzden/stylish-stack-bumpNiklas Larsson7 years ago 5e74cd7An attempt to use proper Cabal version.Denis Buzdalov7 years ago 59f26a9Needed packages were added to the `stack.yaml`.Denis Buzdalov7 years ago 03b452eVersion of stack used for the style check was bumped.Denis Buzdalov7 years ago df20a32Fix example code in proof docsCraig Ramsay7 years ago 9c58719Fix typos and add escape charactersCraig Ramsay7 years ago 6c2183fAdd titles to proof docsCraig Ramsay7 years ago bd3929fFix small typoBrian Wignall7 years ago f3cff28Merge pull request #4772 from clayrat/patch-16Niklas Larsson7 years ago 103a454Merge pull request #4773 from sysvinit/effects-docs-typosNiklas Larsson7 years ago 5f62578Merge pull request #4746 from nickdrozd/ackNiklas Larsson7 years ago 1d5eb9cProofs docs were fixed a little.Denis Buzdalov7 years ago