circuits/Category/Equivalence/Instance/Nat.agda, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-07-14T03:49:04+00:00 Remove use of deprecated name 2026-07-14T03:49:04+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-14T03:49:04+00:00 urn:sha1:2ef009db997ac5c0150b7f496228943b07d43165 Add Nat to category of maps of Mat(Bool) functor 2026-07-09T08:33:31+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-09T08:33:31+00:00 urn:sha1:1068ed08bc01c8f206be21d1af9ebdb1640c7c89