circuits/Category/Instance/Preorder, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-01-07T16:12:13+00:00
Differentiate lax and strong monoidal monotones
2026-01-07T16:12:13+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-07T16:12:13+00:00
urn:sha1:8ec259bb32b4339b27560f5ea13afa81b9b8febc