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

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

さよなら

さらに引っ越しました

はてなブログもなんかあんまり機能が好き勝手作れない感じだったので、自前でHaskell+Yesod製ブログエンジン書いてそっちに引っ越しました。こちら: これは圏です。 裏側の説明など詳細記事は「初めてのブログ」を参照してください。現時点では、 Markdown …