Agdaのインストーラは非常に良くできていて，インストールするとAgdaのほか，GHC，Emacs やEmacsのHaskell-modeまで入ってくる．これはAgdaをインストールする上では非常に便利である．しかし，Agda インストール時にインストールされたEmacsからHaskll（GHC…