circuits/Functor/Instance, 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 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 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 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 Update push, pull, and sys functors 2026-01-01T20:31:42+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-01T20:31:42+00:00 urn:sha1:f84a8d1bf9525aa9a005c1a31045b7685c6ac059 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 Redefine circuit functor 2025-12-14T00:33:57+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-14T00:33:57+00:00 urn:sha1:e9d6926c08d73e8d1af636c5daeac30d65d9bd43