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

docs: document the Agda typecheck helper in check-grade3.sh

b6f08d7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar