Agda をインストールしようとしてみた． それにはcabal が必要らしい． sudo port hs-cabal だと 10.6.X だとghc をインストールしようともしないので， ソースから．Cabal は cabal-install に必要らしいので．cabal-installを入れてみる．cabal-install $ …

Scala 開発環境を整える． Step by Step Scala があるので， なんとかエディタとかの環境を整えておこうというのが趣旨．この辺は普通． 参考にあるscala-lang のところにあるのから一寸変えた*1 $ sudo port install scala $ svn export http://lampsvn.epf…