Agda(Agda2.2.4)をインストールして hello worldプログラムを書いてみた。 OSのディストリビューションは最近リリースされた Ubuntu 9.10。 非常に簡単にインストールができたので、依存型erのみんなは Ubuntu 使うといいよ。 Agdaのインストール Agdaの標準ライブラリを使えるようにする Agdaでhello, world Agdaのインストール AgdaはEmacs上で動作するagda-modeをインストールすれば使えるようになるみたいだ。 agda-modeはapt-getで簡単にインストールできた。 $ sudo apt-get install agda-mode以下のパッケージが新たにインストールされます: agda-mode cpp-4.1 emacs emacs22-bin-common emacs22-common emacs22-g