e368927Merge pull request #20 from gwils/prevent-old-ghcsDominic Orchard8 years ago 534c07dPrevent bad build plans on older GHCs by expressing dependence on TypeInTypeGeorge Wilson8 years ago 3c4d979changelog in the cabal filedominic8 years ago 47d928echangelog and package updatesdominic8 years ago 5bf0c0ckeep deleting elements from the setv0.8.9.0dominic8 years ago 4242bd1Merge pull request #19 from ivanbakel/masterDominic Orchard8 years ago dfaa1e7Update to compatibility with 8.4 type changesIsaac van Bakel8 years ago 828198fnon membership testsDominic Orchard8 years ago c89b0ccMerge pull request #12 from jchia/masterDominic Orchard9 years ago 437855cGeneralized an instance of UpdatableJoshua Chia9 years ago 9e6a0c7Simplified Eq instance and added Ord instance for MapJoshua Chia9 years ago 850dd32membership predicate for sets, and generalise sets to arbitrary kindv0.8.7.0Dominic Orchard9 years ago 28fe8b8fix subset type classes for setsDominic Orchard9 years ago bbf1690(see #8) adding a function for removing elements from a list based on type equalitydominic9 years ago d103f81raise version numberDominic Orchard9 years ago 4bfe231code tidyupDominic Orchard9 years ago 2ad8611additional predicate-based functionalityDominic Orchard9 years ago 3cca261added EQ instancesv0.8.0.0dominic10 years ago 850220areadme and examplesdominic10 years ago