diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-10 01:51:54 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-10 01:51:54 -0500 |
| commit | 2331484cdb32c2010f9b4685fdc4aff3235bcb8d (patch) | |
| tree | 6a6a3b75aa2f8bce1bf2d02df40ab6ee94db0e84 /Cospan/Decorated.agda | |
| parent | 8af247cd8682f98ac1aebe235abca2cbda2342b9 (diff) | |
Add preliminary category of wiring diagrams
Diffstat (limited to 'Cospan/Decorated.agda')
0 files changed, 0 insertions, 0 deletions