--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/a02/agda-install.ind	Sat Nov 23 12:59:45 2019 +0900
@@ -0,0 +1,68 @@
+-title: Agda の install の方法
+
+Homebrew を使うのが良いそうです。
+
+Emacs を先に入れます。
+
+  brew tap caskroom/cask
+  brew cask install emacs
+
+その後、
+
+   brew install agda
+
+GHCが入ってないなら、
+
+   brew install ghc
+
+install 先がどこかは、
+
+    /usr/local/Cellar/agda/2.5.2/lib/agda
+
+などになるので、
+
+~/.agda に以下のファイルを置きます
+
+    defaults   libraries
+
+defaults の中には
+
+   standard-library
+
+libraries の中には
+    /usr/local/Cellar/agda/2.5.2/lib/agda/standard-library.agda-lib
+
+~/.emacs.d/init.el に以下のファイルを置きます。あるいは自分のinit.el に適当に追加します。
+中のpathは正しいものに置き換えます。
+
+<a href="init.el"> init.el </a>
+
+GUI 側で使わないと文字化けすることがあるようです。Terminal で使いたい時には、
+
+<a href="https://github.com/hamano/locale-eaw"> locale eaw </a>
+
+が必要です。
+
+Emacs から使うので、Emacs も勉強しよう。
+
+<a href="http://www.ie.u-ryukyu.ac.jp/%7Ekono/howto/mule.html"> Emacs の使い方 </a>
+
+  C-C  control と C を同時に押す
+  M-X  esc を押してから X を押す
+
+C-X C-F で、Agda1.agda file を開けます。
+
+M-X help-for-help M で、Agda のコマンドの一覧が出ます。C-X o で buffer を切り替えて読みます。
+
+
+--vim
+
+<a ref="https://github.com/derekelkins/agda-vim"> agda-vim</a>
+
+が使えます。
+
+--VS-code
+
+<a href="https://github.com/freebroccolo/vscode-agda"> vscode </a>
+
+があるみたい。試してません。