問題タブ [coq-extraction]
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.
26 問題
0
投票する
1
に答える
46
参照
coq - エラー メッセージ: 不足している引数の数が正しくありません (1 が必要です)
次のコードを実行すると、エラー メッセージが表示されました。
どうしたら解決できるのか気になります。ありがとう。