circuits/Category/Monoidal/Instance/Posets.agda, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-03-25T00:39:44+00:00
Add monoidal structure to category of posets
2026-03-25T00:39:44+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-25T00:39:44+00:00
urn:sha1:866dd6d8510bb5dd56966a99e73b1681763bbfc5