circuits/Functor/Instance/Nat, 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 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 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 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 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 Adjust universe levels 2025-11-05T14:11:48+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-05T14:11:48+00:00 urn:sha1:5f4d1cf740591476d3c7bc270fd11a2c578ab7e6 Use permutation for equivalence of hypergraphs 2025-11-04T05:29:21+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-04T05:29:21+00:00 urn:sha1:298baf2b69620106e95b52206e02d58ad8cb9fc8