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 fd032fecleanup to set and exampelsdominic10 years ago 1aaca95fixed nubable overlappingdominic10 years ago 2d24897refining and extending the type-level maps separate moduledominic10 years ago 3941daespecialised example of set difference + showing functionsdominic11 years ago 7556e5bset exampledominic11 years ago 7a1030aMerge branch 'master' of github.com:dorchard/type-level-setsdominic11 years ago 618db42some updates to the solver, trying to work with the plugindominic11 years ago