diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-06 11:55:23 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-06 11:55:23 -0600 |
| commit | d0a594ffe687970bc6fc68870e41b10d6c3c3494 (patch) | |
| tree | 240f75e64442a2b104af59d395fa667f5aa5ebd0 /Functor/Instance/Nat/Push.agda | |
| parent | 527d35a56ec025cb813024488dcf78ff002e320e (diff) | |
Add symmetric monoidal primitive preorder category
Diffstat (limited to 'Functor/Instance/Nat/Push.agda')
0 files changed, 0 insertions, 0 deletions