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

おわったはず。 まだこまごまとやることあるけど。 少し頻度上げて書きたいな。 これからたぶんAgdaやることになるし、そのメモとか。

今年に入って何も書いてないじゃないか。 まあ、もう少しで一段落つくのでそこで少し書きたいな。