circuits/Functor/Free/Instance/MonoidalPreorder, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-01-07T16:52:51+00:00
Add strong variants of cats to preorders functors
2026-01-07T16:52:51+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-07T16:52:51+00:00
urn:sha1:b2c2426959715260f57153b91ce11d12c7fdb298
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