khibino
(khibino)
利用開始日: 2013/04/17
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。
型検査しながら関係DBクエリを組み立てるライブラリ作りました: https://khibino.github.io/haskell-relational-record/
2016
/
09/17
（土）10:00〜
kazu_yamamoto2016
/
01/31
（日）13:00〜
主催
its_out_of_tune
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています