Miscellaneous constructions on monoids
Why do you think that https://github.com/JustusAdam/schedule-planner is a good alternative to monoid-extras
Miscellaneous constructions on monoids
Why do you think that https://github.com/JustusAdam/schedule-planner is a good alternative to monoid-extras