読者です 読者をやめる 読者になる 読者になる

エンジニアですよ!

頑張れ俺くん、巨匠と呼ばれるその日まで

emacsのauto-completeでCoqの補完が効いてなかった

題名の通り。 効いてなかった。 よくわからんのでスルーしていたが、ストレスフルなので治すことにした。 Auto Complete Modeユーザーマニュアル auto-completeの情報は↑に素晴らしくまとまっていて、簡単に対応はわかった。 ダウンロードしたauto-complete…

coq環境作って使う emacs + ProofGeneral

そもそもはProofGeneralが使いたいがためにEmacsを使い始めたが、とりあえずAgdaをやめてCoqをいじるようになった今、vimscripts/coq_IDEというやつでもいいかもしれないと思い始めているが・・・ Macでの導入は簡単。 homebrewを使う.もう何でもこれに頼っ…

emacs不満集

ProofGeneralが使いたいがために使い始めたが、やはりvimに慣れているのでなかなかemacsの操作は難しいところがある。 うまくいかないところを書いて解消できたら更新していく。 text objectがないのは辛い → thingoptでそれっぽい操作を http://dev.ariel-n…

Getting Started Emacs

agdaに挑戦して即死した話 - エンジニアですよ! で書いたように、emacsが必要になった そこで、emacsを入門することにした。 vimに慣れすぎて頭がvimベースになっているが、emacsはemacs. 別のエディタなので別の考え方をしないといけなそう。 やってみてと…