git.iko.soy/type-level-sets
on 5bf0c0c help sign in
type-level-sets
1 folder, 8 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) example.hsreadme and examples example2.hsnon membership tests stack.yamlUpdate to compatibility with 8.4 type changes type-level-sets.cabalUpdate to compatibility with 8.4 type changes