diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-09 14:45:27 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-09 14:45:27 -0600 |
| commit | d721f0a23f3b8c50fd1754c8958ac40b6f625cbd (patch) | |
| tree | 7f5105b79482e7441d9b800f21a9bc870509d0f0 /Coeq.agda | |
| parent | b5e583bb067749f80bd3f7e24e807674eba8b394 (diff) | |
Add free commutative monoid functor
Diffstat (limited to 'Coeq.agda')
0 files changed, 0 insertions, 0 deletions