circuits/Data/Matrix, branch main

circuits/Data/Matrix, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-07-18T23:20:00+00:00 Simplify semiadditive dagger definition 2026-07-18T23:20:00+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-18T23:20:00+00:00 urn:sha1:d9ede0379448f50a553af4b91ce835836e712bc3 Use latest agda-categories 2026-07-11T00:21:14+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-11T00:21:14+00:00 urn:sha1:a408cbee9abbe2dbeee09bd36afc678efe7b6557 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 Fix equivalence of rig homomorphisms 2026-07-09T17:20:43+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-09T17:20:43+00:00 urn:sha1:6a0549f4c5a93a1817cd311440de156c3283ba27 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 Update matrices and vectors 2026-07-07T20:09:11+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-07T20:09:11+00:00 urn:sha1:61549e3d703bdc5a017833a01febb9c46d95ec17 Simplify construction of matrix endofunctor 2026-04-29T15:54:51+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-29T15:54:51+00:00 urn:sha1:e4ab2f40d7713d871bae5e23f6f81ea5eb9d2de2 Add endofunctor for matrices of fixed size 2026-04-29T15:38:54+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-29T15:38:54+00:00 urn:sha1:6e2934c6b1e9bbd739c13450068259fa0c686b75 Add free functor from rig-matrices to semimodules 2026-04-03T21:37:35+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-03T21:37:35+00:00 urn:sha1:fe8405495e0adddff98c8ae727e1906a09efefb3 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