8000 Float DefP clauses above catch-alls by plt-amy · Pull Request #7097 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Float DefP clauses above catch-alls#7097

Merged
plt-amy merged 1 commit intomasterfrom
aliao/issue7033
Feb 8, 2024
Merged

Float DefP clauses above catch-alls#7097
plt-amy merged 1 commit intomasterfrom
aliao/issue7033

Commits

Commits on Feb 7, 2024
0