circuits/Category/Cartesian/Instance/Preorders, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-01-07T16:56:40+00:00
Add monoidal preorders to monoids functor
2026-01-07T16:56:40+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-07T16:56:40+00:00
urn:sha1:4326ca8d5b9386a480303418fb3e57b9054213f0