Reconcile Echo identity evidence and record Agda checks - #359

Reconcile Echo identity evidence and record Agda checks#359

hyperpolymath merged 2 commits into

mainhyperpolymath/echo-types:mainfrom

arena/a08db6dc-echo-typeshyperpolymath/echo-types:arena/a08db6dc-echo-typesCopy head branch name to clipboard