diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 16:15:11 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 16:15:11 -0600 |
| commit | 3386254cb6f5fc36c5cb18b7240edde3210a376c (patch) | |
| tree | cfe3eb553afab97c12634e62931f9fa1d378397b /Data/Vector.agda | |
| parent | 3d7c5574124d3384ff942489feaa093618c309b9 (diff) | |
Add category of symmetric monoidal preorders
Diffstat (limited to 'Data/Vector.agda')
0 files changed, 0 insertions, 0 deletions