circuits/Cospan, branch main

circuits/Cospan, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2025-12-08T21:30:53+00:00 Update category of cospans 2025-12-08T21:30:53+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-08T21:30:53+00:00 urn:sha1:cb2efa506d9ecec48aad72deb10acb6ffba45970 Switch decoration functor from strong to lax 2024-10-16T22:23:21+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2024-10-16T22:23:21+00:00 urn:sha1:f4bdceb3427ceb50ea118a9e4d494839b38dd04a Add composition and equality of decorated cospans 2024-09-22T15:44:45+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2024-09-22T15:44:45+00:00 urn:sha1:517c1bd04877885720f7998d71f2062d4a93467a Add decorated cospans 2024-09-19T17:34:28+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2024-09-19T17:34:28+00:00 urn:sha1:8a832a39547c21a0cde9cd3671f0368cd35c26c0