Agda を使ってみる - 再起動中...

Agda を使ってみる - 再起動中...

Proof Summit に参加している。 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 だ。 文字コードが UTF-8 のため、数学の記