circuits/Data/Vector/Core.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
Begin separating vector concepts from matrices
2026-03-29T03:23:16+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-29T03:23:16+00:00
urn:sha1:71cdd278bb008bb4375e8d5b2b6b00e3d5bf393a