diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-15 20:54:35 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-15 20:54:35 -0500 |
| commit | 970edad9a35db978d66e648bf5d4379787197eb0 (patch) | |
| tree | d66b9e0c8c038dd172e858d2c5da868702e88036 /Coeq.agda | |
| parent | 5f18ab3cac36f29e612886eca114ff3e07c26b4e (diff) | |
Add monoidal categories for Nat and Nat-op
Diffstat (limited to 'Coeq.agda')
0 files changed, 0 insertions, 0 deletions