circuits/Data/WiringDiagram/Monoidal/Core.agda, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-07-31T20:08:15+00:00
Add braiding to wiring diagram monoidal structure
2026-07-31T20:08:15+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-31T20:08:15+00:00
urn:sha1:c48ce55a4bf04ed87e62f7542dcb1703fd762246