circuits/Data/WiringDiagram/Looped/Monoidal/Merge.agda, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-08-05T06:24:33+00:00
Finish merge and split symmetric monoidal functors
2026-08-05T06:24:33+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-05T06:24:33+00:00
urn:sha1:276418d0b0c1cd865c473a77db9c6e42ea9d02dc