circuits/NaturalTransformation, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-03-14T18:07:50+00:00 Refactor systems and add looped systems 2026-03-14T18:07:50+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-14T18:07:50+00:00 urn:sha1:aada52132810a021a898f43daef5c90ced2a8bf0 Move values module 2026-01-13T23:33:54+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-13T23:33:54+00:00 urn:sha1:1a5e78031311da07917d8ec752c65f367096a6fe Construct SM nat trans from Circ to Sys 2026-01-11T22:28:27+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-11T22:28:27+00:00 urn:sha1:c65be5a260a44f35e26b771026153643ad2464b3 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 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 free commutative monoid functor 2025-12-09T20:45:27+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-09T20:45:27+00:00 urn:sha1:d721f0a23f3b8c50fd1754c8958ac40b6f625cbd 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 Add adjunction between free monoid and forget 2025-11-13T19:24:21+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-13T19:24:21+00:00 urn:sha1:05cbf6f56bce1d45876630fe29b694dc57942e9c Add free commutaive monoid functor 2025-11-05T09:14:18+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-05T09:14:18+00:00 urn:sha1:07a14947f6fee3219d575a15938bf33764cce791