diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-06 11:43:55 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-06 11:43:55 -0600 |
| commit | 527d35a56ec025cb813024488dcf78ff002e320e (patch) | |
| tree | b461cfc4ab17fba1d09ad7257069f4d8940b042b /Functor/Free/Instance/InducedMonoid.agda | |
| parent | e7f6b8c96b80eb33ad123748498734be0cdf785d (diff) | |
Add monoidal cats to monoidal preorders functor
Diffstat (limited to 'Functor/Free/Instance/InducedMonoid.agda')
0 files changed, 0 insertions, 0 deletions