git.iko.soy/type-level-sets
on master help sign in
type-level-sets
1 folder, 9 files
src/keep deleting elements from the set .gitignoreAdd Delete operation to delete element from Set LICENSEsplit off the set representation from the effect monad library (ixmonad) READMEreadme and examples Setup.hssplit off the set representation from the effect monad library (ixmonad) changelog.mdchangelog in the cabal file example.hsreadme and examples example2.hsnon membership tests stack.yamlUpdate to compatibility with 8.4 type changes type-level-sets.cabalPrevent bad build plans on older GHCs by expressing dependence on TypeInType