circuits/Category/Semiadditive.agda, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-07-19T19:31:03+00:00
Simplify wiring diagrams using semiadditive dagger
2026-07-19T19:31:03+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-19T19:31:03+00:00
urn:sha1:1528b2a49c0f006bdeff25a46f8f7ab6c23c73fd
Simplify semiadditive dagger definition
2026-07-18T23:20:00+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-18T23:20:00+00:00
urn:sha1:d9ede0379448f50a553af4b91ce835836e712bc3
Define semiadditive category
2026-07-18T19:18:01+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-18T19:18:01+00:00
urn:sha1:d9bf8ae622083c0a3d82e5da39b45f9f744eefa0