circuits/Preorder/Primitive, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-01-07T17:41:01+00:00
Add SMP to commutative monoids functor
2026-01-07T17:41:01+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-07T17:41:01+00:00
urn:sha1:fc941b6d2e2293d9d9e096519eac708ae3b0aa0a
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
Add monoidal primitive preorders
2026-01-06T16:48:21+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-06T16:48:21+00:00
urn:sha1:e7f6b8c96b80eb33ad123748498734be0cdf785d
Add functors from categories to preorders to setoids
2026-01-06T16:20:03+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-06T16:20:03+00:00
urn:sha1:2a2eeeedbe4d7208d511580f7fed0e30d7f16076
Add non-setoid-based preorders
2026-01-05T23:09:25+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-05T23:09:25+00:00
urn:sha1:1c0a486856d80ad7d8cb6174c49ad990d5f36088