docs(secret-types): sync the #32 pointer to its closure and the standalone proofs - #44

docs(secret-types): sync the #32 pointer to its closure and the standalone proofs#44

hyperpolymath merged 2 commits into

mainhyperpolymath/epistemic-types:mainfrom

arena/713ba5fd-epistemic-typeshyperpolymath/epistemic-types:arena/713ba5fd-epistemic-typesCopy head branch name to clipboard