c6c928fMerge pull request #4827 from ilyakooo0/lts-15.3Niklas Larsson7 years ago ccbdb4bMerge pull request #4830 from melted/fix_ghc_86Niklas Larsson7 years ago c14f72fFix build on GHC 8.6Niklas Larsson7 years ago dba5ef4Added noteiko7 years ago 1b614a3Removed broken snapshotsiko7 years ago 83e4fa5Fixed typoiko7 years ago 0380bb9Reordered extensionsiko7 years ago 3fdadd5Updated resolveriko7 years ago b01f45aAdded stacksiko7 years ago 7467a08Support megaparsec < 8iko7 years ago 87577e3Merge pull request #4829 from alexhumphreys/patch-3Niklas Larsson7 years ago 289b058Update introduction.rstAlex Humphreys7 years ago 93cfe98Merge pull request #4820 from nickdrozd/reverseNiklas Larsson7 years ago 49d7b89Removed GHC 8.6iko7 years ago 71d1390wipiko7 years ago 68efb0awipiko7 years ago 8684daeAlign steps in preorder reasoning exampleNick Drozd7 years ago 588bc99Simplify isomorphism proofsNick Drozd7 years ago 76c37e7Simplify proofs of algebra lawsNick Drozd7 years ago 1f56ca8Further simplify Nat proofsNick Drozd7 years ago ec395a7Add more reverse propertiesNick Drozd7 years ago 2e994cdRename List.Extra to List.ReverseNick Drozd7 years ago