circuits/Data/Mat/Dagger-2-Poset.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
Build dagger 2-poset Mat(R) for idem. comm. rig R
2026-03-28T01:46:06+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-28T01:46:06+00:00
urn:sha1:606bc7f0821d128a64aaab8c8e94a82acb26b86f