千代田まどか (ちょまど)

Microsoft で DevRel やってます。

khibino

仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。 型検...

Masakazu Minamiyama