src/Merge pull request #2 from notogawa/fix_subset11 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 READMEdocumentation tweaks + cabal file added12 years ago Setup.hssplit off the set representation from the effect monad library (ixmonad)12 years ago TySet.hssome updates to the solver, trying to work with the plugin11 years ago example-new.hssome updates to the solver, trying to work with the plugin11 years ago example-set.hsspecialised example of set difference + showing functions11 years ago example.hssome updates to the solver, trying to work with the plugin11 years ago example2.hsupdated set example, fixed overlapping11 years ago stack.yamlAdd Delete operation to delete element from Set11 years ago type-level-sets.cabalupdated set example, fixed overlapping11 years ago