问题标签 [vscode-coq-linter]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
1 问题
0
投票
1
回答
18
浏览
visual-studio-code - 如何在 vscode 中自动 lint Coq 文件？
我在 vscode 中安装了一个 coq linter，但我遇到了这个问题：
我正在使用这个扩展。
为什么它不检查我的文件？