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