--- a/a02/agda-install.ind	Mon Jan 04 13:20:31 2021 +0900
+++ b/a02/agda-install.ind	Wed Jan 13 10:52:01 2021 +0900
@@ -2,12 +2,6 @@
 
 Homebrew を使うのが良いそうです。
 
-Emacs を先に入れます。
-
-  brew tap caskroom/cask
-  brew cask install emacs
-
-その後、
 
    brew install agda
 
@@ -47,6 +41,11 @@
 
 --Emacs
 
+Emacs を先に入れます。
+
+  brew tap caskroom/cask
+  brew cask install emacs
+
 ~/.emacs.d/init.el に以下のファイルを置きます。あるいは自分のinit.el に適当に追加します。
 中のpathは正しいものに置き換えます。
 
@@ -69,6 +68,7 @@
 
 M-X help-for-help M で、Agda のコマンドの一覧が出ます。C-X o で buffer を切り替えて読みます。
 
+Space Emacs というのもあるらしい。
 
 --vim