git.iko.soy/type-level-sets
on fd032fe help sign in
type-level-sets
1 folder, 8 files
src/cleanup to set and exampels .gitignoreAdd Delete operation to delete element from Set LICENSEsplit off the set representation from the effect monad library (ixmonad) READMEdocumentation tweaks + cabal file added Setup.hssplit off the set representation from the effect monad library (ixmonad) example.hscleanup to set and exampels example2.hsupdated set example, fixed overlapping stack.yamlAdd Delete operation to delete element from Set type-level-sets.cabalrefining and extending the type-level maps separate module