khibino
(khibino)
利用開始日: 2013/04/17
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。
型検査しながら関係DBクエリを組み立てるライブラリ作りました: https://khibino.github.io/haskell-relational-record/
2022
/
08/13
（土）13:00〜
主催
申込済
nobsun2022
/
07/03
（日）16:00〜
申込済
lotz84_2022
/
04/03
（日）16:00〜
申込済
2022
/
03/19
（土）13:00〜
主催
申込済
2022
/
02/27
（日）16:00〜
申込済
2022
/
02/26
（土）14:00〜
主催
申込済
2022
/
02/06
（日）16:00〜
申込済
2022
/
01/25
（火）19:00〜
主催
申込済
tmiya_2022
/
01/23
（日）16:00〜
申込済
2022
/
01/22
（土）13:00〜
主催
申込済
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています