Skip to content

Recognize Agda infrastructure and resolve local prose references - #651

Merged
hyperpolymath merged 1 commit into
mainfrom
proposal/echo-agda-reference-recognition-20261106
Nov 7, 2026
Merged

Recognize Agda infrastructure and resolve local prose references#651
hyperpolymath merged 1 commit into
mainfrom
proposal/echo-agda-reference-recognition-20261106

Recognize Agda infrastructure and resolve local prose references

4fa1a52
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar