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がこける。

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

一通り

おわったはず。

まだこまごまとやることあるけど。

少し頻度上げて書きたいな。

これからたぶんAgdaやることになるし、そのメモとか。

おうふ

今年に入って何も書いてないじゃないか。

まあ、もう少しで一段落つくのでそこで少し書きたいな。