proof(xml-7-44): make Xml744.Escape.exfiltrate provably total - #79

proof(xml-7-44): make Xml744.Escape.exfiltrate provably total#79

hyperpolymath merged 1 commit into

mainhyperpolymath/developer-ecosystem:mainfrom

proof-debt/xml744-escape-totalityhyperpolymath/developer-ecosystem:proof-debt/xml744-escape-totalityCopy head branch name to clipboard