circuits/Data/Matrix/Functional.agda, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-07-09T17:24:03+00:00
Include missing properties
2026-07-09T17:24:03+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-09T17:24:03+00:00
urn:sha1:50b9117ebac5f16db7b2ddc59c52a28129e0a618
Add functional matrices
2026-07-08T23:53:51+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-08T23:53:51+00:00
urn:sha1:0b7d9faf4dfa9539a4b862a99ea8a1acd20a2c95