circuits/Data/Vector/Endofunctor/Setoid.agda, branch main

circuits/Data/Vector/Endofunctor/Setoid.agda, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-07-07T20:09:11+00:00 Update matrices and vectors 2026-07-07T20:09:11+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-07T20:09:11+00:00 urn:sha1:61549e3d703bdc5a017833a01febb9c46d95ec17