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 7488182Fix a typo in the Vect.replicate documentationAlexander Iljin7 years ago a8d2afcMerge pull request #4745 from martinbaker/fixMarkupJan de Muijnck-Hughes7 years ago a1b3097Merge pull request #4747 from dalpd/fix/master/typoJan de Muijnck-Hughes7 years ago b141a55Fix typoDeniz A. Durmaz7 years ago 9a7e8d7use literate-idris lexer to highlight literate codemartinbaker7 years ago 3ab5036fix some documentation markup warningsmartinbaker7 years ago 9549d9cUpdate version numbers ready for releaseEdwin Brady7 years ago 16754f7Merge pull request #4743 from RichieAHB/patch-2Niklas Larsson7 years ago c2c5647Merge pull request #4742 from RichieAHB/patch-1Niklas Larsson7 years ago 31fb773Fix typoRichard Beddington7 years ago 48b910bFix typoRichard Beddington7 years ago 4e70401Merge pull request #4728 from nickdrozd/fibNiklas Larsson7 years ago ff0af87Add equivalence proof for recursive and iterative FibonacciNick Drozd7 years ago 1366f5cMerge pull request #4732 from ziman/fix-dotted-implicitsNiklas Larsson7 years ago 813ad24Stop ignoring dots for implicits.Matus Tejiscak7 years ago 611564bMerge pull request #4734 from ziman/fix-travisJan de Muijnck-Hughes7 years ago c7a05afMerge pull request #4737 from clayrat/fileremoveNiklas Larsson7 years ago ab47462test for file existenceAlex Gryzlov7 years ago f8c53ebfix executor and test outputAlex Gryzlov7 years ago f66e8a9fix Core.Execute and testAlex Gryzlov7 years ago 233a07efix Core.ExecuteAlex Gryzlov7 years ago a803df4add expected output for the testAlex Gryzlov7 years ago 2405b0badd fRemove FFI callAlex Gryzlov7 years ago 26fa6c3Merge pull request #4731 from martinbaker/fixInteractiveDocNiklas Larsson7 years ago bc1c500Merge pull request #4733 from clayrat/bool-latticeNiklas Larsson7 years ago a70b24dAdd a missing extra package.Matus Tejiscak7 years ago 140671aFix Travis build by removing redundant stack.yaml entry.Matus Tejiscak7 years ago 01b7dbcfix markupmartinbaker7 years ago fd5dfd9Merge pull request #4726 from 0nkery/masterNiklas Larsson7 years ago f4cd5c0Merge pull request #4724 from nickdrozd/logicNiklas Larsson7 years ago b0edb5bfix typomartinbaker7 years ago adbfa55better resolution of issuemartinbaker7 years ago