diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-04-29 13:32:43 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-04-29 13:32:43 -0500 |
| commit | 665f9c6c3a60025f4f6bdf00c71227b2fa7d95f5 (patch) | |
| tree | 9e47ef3f49888a16a082718317d8d4a246467625 /Functor/Cartesian/Instance/Underlying/SymmetricMonoidal/FinitelyCocomplete.agda | |
| parent | f7afdb1823fe8d785849f817d022efa100007560 (diff) | |
Add hypergraph decoration functor
Diffstat (limited to 'Functor/Cartesian/Instance/Underlying/SymmetricMonoidal/FinitelyCocomplete.agda')
0 files changed, 0 insertions, 0 deletions