diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-09-22 10:44:45 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-09-22 10:44:45 -0500 |
| commit | 517c1bd04877885720f7998d71f2062d4a93467a (patch) | |
| tree | e0fe9a6357c51903635a9f2b5afe6b79c1e799a0 /tiny | |
| parent | 8a832a39547c21a0cde9cd3671f0368cd35c26c0 (diff) | |
Add composition and equality of decorated cospans
Diffstat (limited to 'tiny')
0 files changed, 0 insertions, 0 deletions