diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-11-05 03:14:18 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-11-05 03:14:18 -0600 |
| commit | 07a14947f6fee3219d575a15938bf33764cce791 (patch) | |
| tree | dc4392ed9327f8e316b752f6eced3f51da864aeb /DecorationFunctor/Hypergraph.agda | |
| parent | c4e5d5ee327e917dabb86a7de70bafaffcfa6d6f (diff) | |
Add free commutaive monoid functor
Diffstat (limited to 'DecorationFunctor/Hypergraph.agda')
0 files changed, 0 insertions, 0 deletions