circuits/NaturalTransformation/Instance, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-03-14T18:07:50+00:00 Refactor systems and add looped systems 2026-03-14T18:07:50+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-14T18:07:50+00:00 urn:sha1:aada52132810a021a898f43daef5c90ced2a8bf0 Move values module 2026-01-13T23:33:54+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-13T23:33:54+00:00 urn:sha1:1a5e78031311da07917d8ec752c65f367096a6fe Construct SM nat trans from Circ to Sys 2026-01-11T22:28:27+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-11T22:28:27+00:00 urn:sha1:c65be5a260a44f35e26b771026153643ad2464b3 Add free commutative monoid functor 2025-12-09T20:45:27+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-09T20:45:27+00:00 urn:sha1:d721f0a23f3b8c50fd1754c8958ac40b6f625cbd Add shorter name for singleton setoid 2025-12-09T19:25:39+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-09T19:25:39+00:00 urn:sha1:6272b4e84650b9833a53239b354770e0deba7b9a Add adjunction between free monoid and forget 2025-11-13T19:24:21+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-13T19:24:21+00:00 urn:sha1:05cbf6f56bce1d45876630fe29b694dc57942e9c Add free commutaive monoid functor 2025-11-05T09:14:18+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-05T09:14:18+00:00 urn:sha1:07a14947f6fee3219d575a15938bf33764cce791 Make list natural transformations level-polymorphic 2025-10-30T22:20:33+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-10-30T22:20:33+00:00 urn:sha1:a34e05e875802477f8794ecb330b01c473c024c4 Add empty list and append natural transformations 2025-10-30T19:03:53+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-10-30T19:03:53+00:00 urn:sha1:716411e0c02f5900d7ef81d1ca08f8b83dc13351