circuits/Functor, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-07-13T23:06:43+00:00 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 Add semimodules to commutative monoids functor 2026-07-09T17:46:34+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-09T17:46:34+00:00 urn:sha1:f49ea3407d8459cdf29d14390644d14a9702d032 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 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