circuits/Functor/Monoidal, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-01-13T23:34:50+00:00 Remove old multisetof construction 2026-01-13T23:34:50+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-13T23:34:50+00:00 urn:sha1:4e85ade36a25151021a74b51442dca999e1b48e2 Remove old monoidal functors 2026-01-13T23:15:31+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-13T23:15:31+00:00 urn:sha1:3bf15830058dab0baca2b8518e4fe1c4a7363e45 Extend monoidalize functor to commutative monoids 2026-01-11T04:04:30+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-11T04:04:30+00:00 urn:sha1:3e0565657f896d3064e68b03d30c1a748a8bed25 Update to latest agda-categories 2026-01-04T16:59:04+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-04T16:59:04+00:00 urn:sha1:1a84efec2ba0769035144782e1e96a10e0d5a7b2 Add Monoidalize functor 2025-12-14T02:37:32+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-14T02:37:32+00:00 urn:sha1:8e40a6e427aea3cdfeda038c38942e9d66c502e3 Add shorter name for singleton setoid 2025-12-09T19:25:39+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-09T19:25:39+00:00 urn:sha1:6272b4e84650b9833a53239b354770e0deba7b9a Generalize ListOf construction to arbitrary monoid 2025-11-14T18:53:49+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-14T18:53:49+00:00 urn:sha1:9fe4aadad5a046aaf44a789bfddefc10a0afaeef Use functional vector in edge definition 2025-11-10T02:28:11+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-10T02:28:11+00:00 urn:sha1:ed5f0ae0f95a1675b272b205bb58724368031c01 Clean up System functors 2025-11-09T23:12:29+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-09T23:12:29+00:00 urn:sha1:6a5154cf29d98ab644b5def52c55f213d1076e2b Add Circ symmetric monoidal functor 2025-11-05T14:17:33+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-05T14:17:33+00:00 urn:sha1:b2b2bdaa75406451174f0873cfd355e7511abd9a