khibino
(khibino)
利用開始日: 2013/04/17
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。
型検査しながら関係DBクエリを組み立てるライブラリ作りました: https://khibino.github.io/haskell-relational-record/
2021
/
11/14
（日）16:00〜
申込済
lotz84_2021
/
11/07
（日）13:00〜
申込済
YAMAMOTO Yuji2021
/
11/02
（火）19:00〜
主催
申込済
eldesh2021
/
10/17
（日）16:00〜
申込済
2021
/
10/11
（月）17:00〜
申込済
cezario2021
/
10/10
（日）16:00〜
申込済
2021
/
10/05
（火）19:00〜
主催
申込済
2021
/
10/01
（金）18:30〜
申込済
kmizu2021
/
08/31
（火）19:00〜
主催
申込済
2021
/
08/21
（土）13:00〜
主催
キャンセル
nobsun
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています