circuits/Category/Equivalence/Instance, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-04-30T18:56:37+00:00
Add monoids / monoid objects in setoids equivalence
2026-04-30T18:56:37+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-04-30T18:56:37+00:00
urn:sha1:be685059304423e5a5cbb176b44aef1a4a76325b