7695883Cons is not NilAlex Gryzlov8 years ago 3c8f2d6Total List.transposeAndy Caldwell8 years ago 1a7fa35Add regression test for #2349 (#4584)Ryan Scott8 years ago c536a6eExport interface implementations of Network.Cgi (#4580)Hadi Moshayedi8 years ago 5549d87Added Proposition interface. (#4576)stop-cran8 years ago 3a5f962Proven some basic statements about Data.Fin. (#4571)stop-cran8 years ago baf5a22Fix git clone typo in CONTRIBUTING.md (#4568)rbasso8 years ago 62b7aabMerge pull request #4581 from pykello/fix_stylizeNiklas Larsson8 years ago 71bad46Fix stylization problems.Hadi Moshayedi8 years ago 8362faaSlightly better hashing function for interfacesEdwin Brady8 years ago ed80b7dStylish fixesEdwin Brady8 years ago 5c02f10Merge branch 'ibc-hash'Edwin Brady8 years ago 1510fceUpdate version numberv1.3.1Edwin Brady8 years ago 2699ce1Update CHANGELOGEdwin Brady8 years ago 5f22426Remove a needless logEdwin Brady8 years ago b2f419bStore hash of the IBC file's interfaceEdwin Brady8 years ago faf1d67Add fixes to changelogNiklas Larsson8 years ago 713ad66Merge pull request #4547 from JulianKniephoff/elements-smaller-than-boundNiklas Larsson8 years ago bae730aMerge pull request #4565 from stop-cran/masterNiklas Larsson8 years ago 8fc6989Wrap GMP operations in a requireAllocEdwin Brady8 years ago 37bd154Added `VerifiedAlternative` by analogy with `VerifiedSemigroup`.stop-cran8 years ago b15522aadd `VerifiedMonad (Either a)`, `VerifiedMonad List`stop-cran8 years ago d027601Merge pull request #4563 from idris-lang/melted-patch-1Niklas Larsson8 years ago 08506efDisable travis job that always times outNiklas Larsson8 years ago 60c5b3eMerge pull request #4562 from melted/support_ghc86Niklas Larsson8 years ago 77bae41Fixes for GHC 8.6Niklas Larsson8 years ago 4d8dab0Merge pull request #4561 from melted/azure-pipelinesNiklas Larsson8 years ago 57985d9Implement Azure Pipelines CINiklas Larsson8 years ago 655b4c7Fix potential memory allocation problemEdwin Brady8 years ago 51d3888Merge pull request #4557 from gallais/masterNiklas Larsson8 years ago f07ebbf[ docs ] definitions in the same order as in the source fileGuillaume Allais8 years ago 80293baMerge pull request #4554 from imuli/javascript-right-shiftNiklas Larsson8 years ago fc34924Merge pull request #4552 from melted/megaparsec7Niklas Larsson8 years ago a09c705Add an upper bound on megaparsecNiklas Larsson8 years ago f5085b9javascript backend: fix logical right shiftsImuli8 years ago 91039eeStrengthen `elemSmallerThanBound`Julian Kniephoff8 years ago 8b1efd4Merge pull request #4540 from melted/fix_networkNiklas Larsson8 years ago 0e2f545Silence stylizeNiklas Larsson8 years ago 332df52Remove use of deprecated network functionalityNiklas Larsson8 years ago 11c1a23Raise an error if too many "with" arguments are providedZack Grannan8 years ago a4a8ce2Merge pull request #4537 from zgrannan/nested-with-in-docsNiklas Larsson8 years ago 62e58d4Merge pull request #4535 from zgrannan/fix-negNiklas Larsson8 years ago 65d5427Include nested `with` clauses in tutorialZack Grannan8 years ago ab3985aHandle constant negation in parsing phaseZack Grannan8 years ago 66f8363Merge pull request #4528 from zgrannan/add-sized-pairNiklas Larsson8 years ago ef155c2Merge pull request #4527 from zgrannan/stack-shell-testsNiklas Larsson8 years ago fb3a095A couple of missing control codes in LexerEdwin Brady8 years ago 3bf02beAdd control codes to char literals in Text.LexerEdwin Brady8 years ago 713e485newBuffer should return a managed pointerEdwin Brady8 years ago 0f93c18Add perl, nodejs to stack-shell.nixZack Grannan8 years ago