circuits/Functor/Instance, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-08-01T03:38:51+00:00 Update system functor 2026-08-01T03:38:51+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-08-01T03:38:51+00:00 urn:sha1:02b36f31cac4c2e530e496e7cc9154abef94ddfc Construct Sys functor from wiring diagrams to Cats 2026-07-13T23:06:43+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-13T23:06:43+00:00 urn:sha1:9e2f3f3bb9916dca8d4ad4b162ce5b089c26b82e Use latest agda-categories 2026-07-11T00:21:14+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-11T00:21:14+00:00 urn:sha1:a408cbee9abbe2dbeee09bd36afc678efe7b6557 Generalize systems to (co)commutative (co)monoids 2026-07-09T20:36:32+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-09T20:36:32+00:00 urn:sha1:7875edd03cce586a8c9f0b95dedffb390bfdbd61 Update circuit values 2026-07-07T20:32:20+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-07T20:32:20+00:00 urn:sha1:a07a9d6ea38c55aeac59cb93678b9c830ce54705 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