src/membership predicate for sets, and generalise sets to arbitrary kind9 years ago .gitignoreAdd Delete operation to delete element from Set11 years ago LICENSEsplit off the set representation from the effect monad library (ixmonad)12 years ago READMEreadme and examples10 years ago Setup.hssplit off the set representation from the effect monad library (ixmonad)12 years ago example.hsreadme and examples10 years ago example2.hsupdated set example, fixed overlapping11 years ago stack.yamladded EQ instances10 years ago type-level-sets.cabalmembership predicate for sets, and generalise sets to arbitrary kind9 years ago