2009-11-12から1日間の記事一覧
Agda をインストールしようとしてみた. それにはcabal が必要らしい. sudo port hs-cabal だと 10.6.X だとghc をインストールしようともしないので, ソースから.Cabal は cabal-install に必要らしいので.cabal-installを入れてみる.cabal-install $ …
Agda をインストールしようとしてみた. それにはcabal が必要らしい. sudo port hs-cabal だと 10.6.X だとghc をインストールしようともしないので, ソースから.Cabal は cabal-install に必要らしいので.cabal-installを入れてみる.cabal-install $ …