VSCode での Agda の使い方

VSCode から Download して導入します。

Visual Studio Code を /Application から起動します。

Code->Preference->Extesion から Agda を search

   agda-mode

をInstallします。

あとは、Emacs と同じ。

Vim mode と併用する時には insert mode から C-C C-L する必要があります。

Unicode の入力

   \r
   \l
   \bN

など。Emacs と同じ。

C-C や C-L が VS Code に食われていると思われる。

Preferences: Open Keyboard Shortcurs" から衝突してるものを消す (特に vim mode の時)