diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-10-16 17:23:21 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-10-16 17:23:21 -0500 |
| commit | f4bdceb3427ceb50ea118a9e4d494839b38dd04a (patch) | |
| tree | fd7436d5e11e9d4e1cce791ebe55398b09f21262 /Category/Instance/Setoids/SymmetricMonoidal.agda | |
| parent | f99ae520c259bf62dd6093ca6ef7ba9181ed13f3 (diff) | |
Switch decoration functor from strong to lax
Diffstat (limited to 'Category/Instance/Setoids/SymmetricMonoidal.agda')
0 files changed, 0 insertions, 0 deletions