2008-10-13 いろいろ書き散らかした 日記 いろいろ書き散らかしているうちに結構な分量になっているような気がします.そろそろ整理と修正・補正してブラッシュアップすべきかも.最近気がついたのですが,MonadFixの雑文が別のところからリンクされてたりします.