Agda を使ってみる
Proof Summit に参加している。
Agda を初めて使う。
インストールは 掲示板で紹介されていた ここ を参照した。
Ubuntu 8.04 LTS では…
sudo apt-get install agda-mode
sudo apt-get install agda-stdlib
で使えるようになった。
yoshihiro503 さんのサイトを参考に実行した。
./src/myFirstAgda に hello.agda を用意。
module hello where
open import IO
main = run (putStrLn "Hello, あぐだ World!")
ここで、C-c C-l で型チェック、C-c C-x C-c でコンパイル。
./hello ができるので、実行できる。
文字コードは、UTF-8 だ。