そのAgdaのインストール問題とは別に、Windows7上のVMware playerで動かしているXubuntuが、たぶんWindows7自体をスリープして復帰するときとかにクラッシュする、という問題もあり、これも調べないといかん。うーん。こういうn時間問題（nは不明）は大変。…

Ubuntu（正確にはXubuntu14.02）にAgda2.4.2をインストールしようとして（cabal install agda）、なんかHaskellのあたりでうまくいかなくて困った。が、 http://stackoverflow.com/questions/25104367/ghc-incompatibility-installing-haskell-src-exts-via-…