circuits/Category/Instance/CMonoids.agda, branch main

circuits/Category/Instance/CMonoids.agda, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-07-09T17:11:28+00:00 Add category of commutative monoids 2026-07-09T17:11:28+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-09T17:11:28+00:00 urn:sha1:310db86b3ddf5ac50586cae486f9684052be04c9