OPAM 1.2.2を使っている人がfishを使い始めるときの注意点
fishというシェルがどうやら良いらしいということでbashから乗り換えてみましたが、色々と問題が。 Homebrewで提供されているOPAMの安定版の最新バージョンは1.2.2ですが、OPAM...
6
3
Comment0
4 search resultsShowing 1~4 results
Stocked
You need to log-in
.adgaファイルをemacsで開いてもagda2-modeが自動的に起動しない時にすべきこと
以下の内容を確認 Agdaがインストールされているか agda-mode setupは済んでいるか auto-mode-alistにagda2-modeが追加されているか それでもダメなら 拡張...
2
1
Comment0
Proof Generalのholes-modeを無効化
Proof GeneralでCoqファイルを開くと、holes-modeというマイナーモードが立ち上がります。 個人的にはC-c C-jを、カーソルの位置まで証明を進める (proof-goto...
3
2
Comment0
autoで何が起きたのかわからないときに
autoのように高度な機能を持ったtacticを使用した時に、 何が起きたのかわかないということがよくあると思います。 そのようなときはtactic名の前にinfoをつけることで、 具体的にどの...
5
3
Comment0
4 search resultsShowing 1~4 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles