circuits/Functor, 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 Fix modules broken by addition of strong SymMonCat 2026-01-13T23:35:37+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-13T23:35:37+00:00 urn:sha1:38e5da80b651a073b49505a92d71b15ca11e1b35 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 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 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 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 Define Sys functor from Nat to SMCs 2026-01-11T04:08:08+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-11T04:08:08+00:00 urn:sha1:05a7c242d961851ee0085359a44c989489beacd0 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 SMP to commutative monoids functor 2026-01-07T17:41:01+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-07T17:41:01+00:00 urn:sha1:fc941b6d2e2293d9d9e096519eac708ae3b0aa0a Add monoidal preorders to monoids functor 2026-01-07T16:56:40+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-07T16:56:40+00:00 urn:sha1:4326ca8d5b9386a480303418fb3e57b9054213f0