証明駆動開発

coqを使うと証明駆動開発ができるらしい。
以下でインストール方法が説明されている。
http://d.hatena.ne.jp/yoshihiro503/20070706

以下でWindows版をDLできる。
http://coq.inria.fr/download

以下に投稿サイトがある。
http://as305.dyndns.org/aps/

Coqで独習するならどのページがいい？と聞かれたときのメモ

Haskellも勉強しようかな。

Haskell入門 5ステップ