Skip to content

add Monoids to the interface #65

add Monoids to the interface

add Monoids to the interface #65