circuits/Category/Instance/Bisemimodules.agda, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-04-03T21:37:35+00:00 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