Agdaのインストール

ダウンロードしてインストールするだけ。
しかし、これをやるとpre-compiledなAgdaをインストールできない（特にWindows。pre-compiled AgdaがHaskell Platformを入れるから。）。
まあ、しかしHaskell Platform入れてればcabalで簡単にインストールできるからよしとする。


ただし、Haskell Platform 2012.4.0.0に入ってるcabalはUTFの扱いがおかしいのか、エラーを吐く。
教えてもらった対策は二つ、cabalを新しくするか、set LANG=Cで解決する。
cabalはcabalで新しくできるが、そのためには後者が必要。
あとは、Win Vista以降だと管理者でやらないと--globalがこける。


誰に宛てた物でもないただのメモなので、読みにくいとか言われても困る。