git.iko.soy/type-level-sets
on master help sign in
history of850dd32..master
compare
e368927Merge pull request #20 from gwils/prevent-old-ghcsDominic Orchard 534c07dPrevent bad build plans on older GHCs by expressing dependence on TypeInTypeGeorge Wilson 3c4d979changelog in the cabal filedominic 47d928echangelog and package updatesdominic 5bf0c0ckeep deleting elements from the setv0.8.9.0dominic 4242bd1Merge pull request #19 from ivanbakel/masterDominic Orchard dfaa1e7Update to compatibility with 8.4 type changesIsaac van Bakel 828198fnon membership testsDominic Orchard c89b0ccMerge pull request #12 from jchia/masterDominic Orchard 437855cGeneralized an instance of UpdatableJoshua Chia 9e6a0c7Simplified Eq instance and added Ord instance for MapJoshua Chia