circuits/Functor, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-08-15T17:34:15+00:00 Add monoidal structure to system functor 2026-08-15T17:34:15+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-08-15T17:34:15+00:00 urn:sha1:9a65579633967a0c02b912e6baa3e575a02b868f Show semimodules forgetful functor is cartesian 2026-08-05T20:39:09+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-08-05T20:39:09+00:00 urn:sha1:53e6ee67c618b37c73cf7668b4b3f71ec9b17949 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 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