chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism#36

hyperpolymath merged 2 commits intomainhyperpolymath/standards:mainfrom

chore/recognise-agda-and-echo-typeshyperpolymath/standards:chore/recognise-agda-and-echo-typesCopy head branch name to clipboard