diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-14 16:49:35 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-14 16:49:35 -0500 |
| commit | 46f36b99c92225b374900457e02d89e9ffcffb52 (patch) | |
| tree | cf8916fbe42f51e29a8ac05eab880f946747b019 /Preorder/Primitive/Monoidal.agda | |
| parent | 8d7639b3caf615651fbc668b5fda17ddabb6edc6 (diff) | |
Refactor wiring diagrams
Diffstat (limited to 'Preorder/Primitive/Monoidal.agda')
0 files changed, 0 insertions, 0 deletions