aboutsummaryrefslogtreecommitdiff
path: root/Data/Circuit
diff options
context:
space:
mode:
authorJacques Comeaux <jacquesrcomeaux@protonmail.com>2025-10-26 20:12:32 -0500
committerJacques Comeaux <jacquesrcomeaux@protonmail.com>2025-10-26 20:12:32 -0500
commitb5a01be0e0eddce5d6171f5d7617c3b0c10dda80 (patch)
tree8351c6678b66360831e31043a48cdb79421e6674 /Data/Circuit
parentcfa08b5babd7f3db0daf61c73efbfb9e223ab677 (diff)
Add inverted associativity for strong monoidal functors
Diffstat (limited to 'Data/Circuit')
0 files changed, 0 insertions, 0 deletions