UbuntuへのAgda2.4.2インストールで詰まっている話
Ubuntu(正確にはXubuntu14.02)にAgda2.4.2をインストールしようとして(cabal install agda)、なんかHaskellのあたりでうまくいかなくて困った。が、
http://stackoverflow.com/questions/25104367/ghc-incompatibility-installing-haskell-src-exts-via-cabal
にまったく同じ問題と思われるものが転がっていたので、これをあとで試してみる。