8000 Reform printing of parse error by andreasabel · Pull Request #7437 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Reform printing of parse error#7437

Merged
andreasabel merged 4 commits intomasterfrom
parse-error
Aug 20, 2024
Merged

Reform printing of parse error#7437
andreasabel merged 4 commits intomasterfrom
parse-error

Commits

Commits on Aug 19, 2024

Commits on Aug 20, 2024
0