circuits/Category/Diagram, 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
Update agda-categories version
2025-02-03T16:02:43+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-02-03T16:02:43+00:00
urn:sha1:81ae9ec6480725f12cce720fca7d22f677573b13
Finish category of decorated cospans
2024-10-01T21:36:27+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2024-10-01T21:36:27+00:00
urn:sha1:f99ae520c259bf62dd6093ca6ef7ba9181ed13f3