最近Web系に滑り込んだなんちゃってエンジニア

定理証明系や論理プログラミングに興味をもっています。

能動的に動かなければ何も成長しないね。

京都で働いてるプログラマです

京都在住のHaskellerです。

札幌在住の素人Haskeller

Haskellすき

型に生き、型を守りて、型を往く