circuits/Data/Matrix/Monoid.agda, branch main

circuits/Data/Matrix/Monoid.agda, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-04-03T01:27:02+00:00 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