circuits/SplitIdempotents, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-03-25T19:08:17+00:00
Use agda-categories definition of split idempotent
2026-03-25T19:08:17+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-25T19:08:17+00:00
urn:sha1:348f5615631fff3279049ab930fd51ec4442f44f
Add split idempotents
2026-03-24T21:20:19+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-24T21:20:19+00:00
urn:sha1:b9b9349fcebac862e77ccefb24f3b1c86298c711