docs+proofs: EchoEphapaxBridge.agda NARROW stub (closes #126)#162

hyperpolymath merged 2 commits into

mainhyperpolymath/echo-types:mainfrom

session/ephapax-bridge-stubhyperpolymath/echo-types:session/ephapax-bridge-stubCopy head branch name to clipboard