git.iko.soy/type-level-sets
on master help sign in
history of437855c..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