... | @@ -188,7 +188,7 @@ This style should be discouraged when the view is in fact a total operation, as |
... | @@ -188,7 +188,7 @@ This style should be discouraged when the view is in fact a total operation, as |
|
#### Sets
|
|
#### Sets
|
|
|
|
|
|
|
|
|
|
Here is a small module that allows to decompose sets with repsect to a given element, deleting it hereby.
|
|
Here is a small module that allows to decompose sets with respect to a given element, deleting it hereby.
|
|
|
|
|
|
```wiki
|
|
```wiki
|
|
module Set(Set, empty, insert, delete, has) where
|
|
module Set(Set, empty, insert, delete, has) where
|
... | | ... | |