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