circuits/Functor/Exact/Instance, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2025-04-23T15:09:32+00:00
Category of decorated cospans is symmetric monoidal
2025-04-23T15:09:32+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-04-23T15:09:32+00:00
urn:sha1:f7afdb1823fe8d785849f817d022efa100007560