再起動中...

そのうち移行するはず

2011-09-25から1日間の記事一覧

Agda を使ってみる

Proof Summit に参加している。Agda を初めて使う。 インストールは 掲示板で紹介されていた ここ を参照した。Ubuntu 8.04 LTS では… sudo apt-get install agda-mode sudo apt-get install agda-stdlib で使えるようになった。yoshihiro503 さんのサイトを…