circuits/Data/Matrix/Endofunctor.agda, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-04-29T15:38:54+00:00
Add endofunctor for matrices of fixed size
2026-04-29T15:38:54+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-04-29T15:38:54+00:00
urn:sha1:6e2934c6b1e9bbd739c13450068259fa0c686b75