proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… - #325

proofs(agda): preserve the bit-narrowing exhibits from unpushed commi…#325

hyperpolymath merged 1 commit into

mainhyperpolymath/echo-types:mainfrom

preserve/bit-narrowing-agda-2026-09-11hyperpolymath/echo-types:preserve/bit-narrowing-agda-2026-09-11Copy head branch name to clipboard