Re #90: Debug buffer won't print modules checked and verbosity

banacorn / agda-mode-vscode

agda-mode on VS Code

MIT License

167 stars 38 forks source link

Closed vic0103520 closed 9 months ago

vic0103520 commented 11 months ago

The verbosity is removed and the modules being checked are only printed in the Agda buffer.