Skip to content

Reconcile Echo identity evidence and record Agda checks - #359

Merged
hyperpolymath merged 2 commits into
mainfrom
arena/a08db6dc-echo-types
Nov 3, 2026
Merged

Reconcile Echo identity evidence and record Agda checks#359
hyperpolymath merged 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