8000 Some named scope errors replacing GenericError by andreasabel · Pull Request #7483 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Some named scope errors replacing GenericError#7483

Merged
andreasabel merged 9 commits intomasterfrom
scope-errors
Sep 10, 2024

Commits

Commits on Sep 10, 2024
0