circuits, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-04-30T18:56:37+00:00 Add monoids / monoid objects in setoids equivalence 2026-04-30T18:56:37+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-30T18:56:37+00:00 urn:sha1:be685059304423e5a5cbb176b44aef1a4a76325b Simplify construction of matrix endofunctor 2026-04-29T15:54:51+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-29T15:54:51+00:00 urn:sha1:e4ab2f40d7713d871bae5e23f6f81ea5eb9d2de2 Add endofunctor for matrices of fixed size 2026-04-29T15:38:54+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-29T15:38:54+00:00 urn:sha1:6e2934c6b1e9bbd739c13450068259fa0c686b75 Add endofunctor for Vectors of fixed length 2026-04-28T17:30:36+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-28T17:30:36+00:00 urn:sha1:666ceb1d09d490f1e2f83f840603a9e403bb5714 Add bounded distributive lattices 2026-04-27T20:38:36+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-27T20:38:36+00:00 urn:sha1:1d40f953de7bdfbaff350a953c60b2c5951f42a2 Add free functor from rig-matrices to semimodules 2026-04-03T21:37:35+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-03T21:37:35+00:00 urn:sha1:fe8405495e0adddff98c8ae727e1906a09efefb3 Add categories of Rigs, Bisemimodules, and Semimodules 2026-04-03T02:01:41+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-03T02:01:41+00:00 urn:sha1:c822551157cad5f853c3f81f0c72cc7c6919f08b Reorganize matrix code 2026-04-03T01:27:02+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-03T01:27:02+00:00 urn:sha1:6a35dcbbf1b3859b012e5f8546e8cb353898bde2 Add semimodule of vectors over a commutative rig 2026-03-29T22:49:49+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-29T22:49:49+00:00 urn:sha1:29dacb01350879a1f94ca100aafc058298bcb8a1 Add bisemimodule of vectors over a rig 2026-03-29T21:59:17+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-29T21:59:17+00:00 urn:sha1:0000b8aee0c002bfdf0f0a310062a80c2c8ea94d