2009-08-21から1日間の記事一覧
亜美真美が言う「もにゃどー」を想像したら、頑張ろう!!って気持ちになった。ドガー。
環境はMacBook 10.5.8でAgda-2.2.4を以下の内容を元にインストールhttp://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX最初からHaskell周りのあれこれは入れてたので、2.install from the darcs repository, for the latest sourceの方に基づいて…