diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-13 17:15:31 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-13 17:15:31 -0600 |
| commit | 3bf15830058dab0baca2b8518e4fe1c4a7363e45 (patch) | |
| tree | a957eb783c77c2f4ec69b507a0e5cd51ed503379 /Preorder/Primitive/Monoidal.agda | |
| parent | c65be5a260a44f35e26b771026153643ad2464b3 (diff) | |
Remove old monoidal functors
Diffstat (limited to 'Preorder/Primitive/Monoidal.agda')
0 files changed, 0 insertions, 0 deletions