circuits/Data/Mat/SemiadditiveDagger.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
Add commutative rig matrix semiadditive structure
2026-03-27T23:00:15+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-27T23:00:15+00:00
urn:sha1:e21dc46d5ffbde6a378618c7144c55d5103a494f
Add dagger structure for commutative rig matrices
2026-03-27T21:09:59+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-27T21:09:59+00:00
urn:sha1:b795c34f2b7451a6cfde086b1944cca49de02605