bs-bastet/examples/MultiplicativeMonoid.md

A ReasonML/OCaml library for category theory and abstract algebra

```ocaml
# let empty = 1;;
val empty : int = 1

# let satisfies_identity_law = 10 * empty = 10;;
val satisfies_identity_law : bool = true

# let satisfies_associative_law = 1 * (2 * 3) = (1 * 2) * 3;;
val satisfies_associative_law : bool = true
```