Skip to content

Reconcile Echo identity evidence and record Agda checks - #359

Open
hyperpolymath wants to merge 2 commits into
mainfrom
arena/a08db6dc-echo-types
Open

Reconcile Echo identity evidence and record Agda checks#359
hyperpolymath wants to merge 2 commits into
mainfrom
arena/a08db6dc-echo-types

Commits

  1. Commits on Nov 1, 2026