circuits/Functor/Forgetful/Instance/Semimodule.agda, branch main

circuits/Functor/Forgetful/Instance/Semimodule.agda, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-07-09T17:46:34+00:00 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