Djinn, a theorem prover in Haskell, for Haskell.- らくがきえんじんリンク切れ記事の多くは http://d.hatena.ne.jp/keigoi/ に移動しています． たとえば http://d.hatena.ne.jp/syd_syd/20080302#p1 の記事は http://d.hatena.ne.jp/keigoi/20080302#p1 にあります．
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
