Commit 00f8529c authored by Mike Ledger's avatar Mike Ledger

remove monoid

parent 0da2963f
Pipeline #15891484 passed with stage
in 21 minutes and 42 seconds