circuits/Category/Cartesian/Instance/Semimodules.agda, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-07-14T03:43:51+00:00
Add cartesian structure to category of semimodules
2026-07-14T03:43:51+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-14T03:43:51+00:00
urn:sha1:08982c82069c66f768c17979b7aa8d0a62d65cdb