circuits/Adjoint/Instance, 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
Update list adjunction for opaqueness
2025-12-06T22:45:47+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-12-06T22:45:47+00:00
urn:sha1:004813816d88b53953fa1d8393264a4c1cf89204
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