circuits/Data/Opaque, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2025-12-10T19:38:10+00:00
Add free/forget multiset adjunction
2025-12-10T19:38:10+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-12-10T19:38:10+00:00
urn:sha1:c9da00d8069d77bc4cd253d1197983e87edd1d6f
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 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
Use functional vector in edge definition
2025-11-10T02:28:11+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-11-10T02:28:11+00:00
urn:sha1:ed5f0ae0f95a1675b272b205bb58724368031c01