Skip to content

feat: EchoResidueCell — Agda mirror of 007's Holding/Spent once-only discipline#250

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/echo-residue-cell
Jun 20, 2026
Merged

feat: EchoResidueCell — Agda mirror of 007's Holding/Spent once-only discipline#250
hyperpolymath merged 1 commit into
mainfrom
claude/echo-residue-cell

feat: EchoResidueCell — Agda mirror of 007's Holding/Spent once-only …

1b68038
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar