diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-09-19 12:34:28 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-09-19 12:34:28 -0500 |
| commit | 8a832a39547c21a0cde9cd3671f0368cd35c26c0 (patch) | |
| tree | 82710a665db81d84c5e592c586211304a3fa6d2c /Category/Monoidal/Coherence.agda | |
| parent | dc3b799d6f9cdd4fb0b2b32f323b7128ccc14a80 (diff) | |
Add decorated cospans
Diffstat (limited to 'Category/Monoidal/Coherence.agda')
0 files changed, 0 insertions, 0 deletions