これは圏です(はてな使ったら負けだとおもっていた)

きっと何者にもなれないつぎの読者につづく。

引っ越しました

はてなブログに見切りをつけてまたぞろブログを引っ越しました。こちらが新居。Yesod で書いた自作のブログエンジンを使っています。詳細はむこうの記事を参照。
こっちの記事も向うに移行したりしようかなあ、などと考えている。