AgdaシンボルのEmacsキーボードショートカットとは何ですか？

タイトルにうまく表示されない場合のリストシンボルを意味します。AgdaシンボルのEmacsキーボードショートカットとは何ですか？

\blという本のようにはありません。

2016-11-19 Marko Grdinic

あなたの.emacsファイルの "Some Extra Emacs Definitions"セクションのコードを入れましたか？ –

ええ、これは私が必要なものです。コピー/ペーストだけが改行を食べるので、誰かがpdfではなくテキストで定義を提供しても悪くないでしょう。私はそれを自分で見つけようとします。 –

bookは「いくつかの余分なEmacsの定義」の補遺に簡単に入力するようにコードを提供します。

(eval-after-load "quail/latin-ltx" 
    '(mapc (lambda (pair) 
      (quail-defrule (car pair) (cadr pair) "TeX")) 
      '(("\\bb" "") ("\\bl" "") ("\\bs" "") ("\\bt" "") ("\\bv" "") ("\\cv" "⋎") ("\\comp" "○") ("\\m" "↦") ("\\om" "ω"))))

あなたはちょうどここからそれをコピーしてお使いの.emacsファイルに貼り付けする必要があります。

出典

2016-11-19 16:56:12

私は、本にいくつかの追加情報があることに注意してください。 –

使用M-xを次にagda-input-show-translationsすべての文字のバインディングの表を取得します。次に、C-sを使用して特定の文字を検索することができます。

出典

2016-11-19 15:33:28

私は「失敗したI-search：」のために ''。 – user3237465

まだemacsモードには含まれていませんが、私はPull Requestを提出して、欠落した黒板太字を追加しています。

出典

2016-11-20 10:10:09 gallais

私の場合、私はちょうど正しく私に黒板太字フォントを与えるのEmacs

\bL

、で入力しました。これはagda 2.5.3（Ubuntu 16.04の下で公式文書ごとにhackage経由でインストールされています）

出典

2018-03-10 21:09:09 tinlyx

AgdaシンボルのEmacsキーボードショートカットとは何ですか？

答えて

関連する問題