e3293d9Added missing RESERVENOALLOC case to ToJSON BC definitionMichal Kleczek7 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 c7c1c27Add Ackermann function definitions and proofNick Drozd7 years ago c67d49cCorrect a couple of minor typos in the effects package idrisdocMolly Miller7 years ago e6b19fbadd SortedMap.singletonAlex Gryzlov7 years ago 095fb31Merge pull request #4771 from sysvinit/ffi-docsNiklas Larsson7 years ago 24c7571Correct MKSTR arguments in FFI docs.Molly Miller7 years ago 454f0b0Merge pull request #4770 from idris-lang/appveyor-fixNiklas Larsson7 years ago 47d5336Fix Appveyor by pinning cabalNiklas Larsson7 years ago 3b69821Merge pull request #4759 from lodi/updateDepsNiklas Larsson7 years ago 6f3f4eeMerge pull request #4769 from sysvinit/rebuild-tutorial-pdfNiklas Larsson7 years ago d4e7eadMerge pull request #4768 from buzden/tutorial-typo-fixNiklas Larsson7 years ago 3257106Merge pull request #4767 from zenntenn/patch-1Niklas Larsson7 years ago 187d05fUpdate tutorial PDFMolly Miller7 years ago 7f4ee1fType arguments of declaration were made to be similar to the others.Denis Buzdalov7 years ago 47387f6Adding command line for C codegenzenntenn7 years ago 8a25f65Couple of small tutorial typos were fixed.Denis Buzdalov7 years ago 5965fb1Add missing case in DumpBCEdwin Brady7 years ago 24a083fSmall runtime performance tweakEdwin Brady7 years ago ac930f3Fix GC heap sizingEdwin Brady7 years ago bcb1c4eupdated ansi-terminal dependency to accept 0.9.xlodi7 years ago 7af67acMerge pull request #4758 from melted/cabal3Niklas Larsson7 years ago 9feaa02Compatibility with Cabal 3.0Niklas Larsson7 years ago 075c0f7Merge pull request #4754 from clayrat/patch-15Niklas Larsson7 years ago 229331cFix file handle leaks and simplify codeAlex Gryzlov7 years ago 476234fMerge pull request #4751 from AlexIljin/doc-typo-fixJan de Muijnck-Hughes7 years ago