8000 Match display forms in the right context by plt-amy · Pull Request #7480 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Match display forms in the right context#7480

Merged
plt-amy merged 2 commits intomasterfrom
aliao/lift-display-form
Sep 10, 2024
Merged

Match display forms in the right context#7480
plt-amy merged 2 commits intomasterfrom
aliao/lift-display-form

Commits

Commits on Sep 9, 2024
0