Skip to content

defn: extensionality for ↯#569

Draft
plt-amy wants to merge 2 commits intomainfrom
aliao/wait
Draft

defn: extensionality for ↯#569
plt-amy wants to merge 2 commits intomainfrom
aliao/wait

Commits

Commits on Jan 16, 2026