circuits/Data/Matrix, branch main

circuits/Data/Matrix, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-08-22T19:52:16+00:00 Add more matrix operations 2026-08-22T19:52:16+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-08-22T19:52:16+00:00 urn:sha1:f7091746dcae0aacd0fc8c8971d6dc5a748e7bc5 Show free semimodule functor is cartesian 2026-08-13T05:57:08+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-08-13T05:57:08+00:00 urn:sha1:154ad08032f9719b0ad32aa357742fe12ff4899a Show matrix change of base functor is cartesian 2026-08-05T22:50:02+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-08-05T22:50:02+00:00 urn:sha1:1e73f2658f6d8d1559649b2cd97040f494dc1c96 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