khibino
(khibino)
利用開始日: 2013/04/17
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。
型検査しながら関係DBクエリを組み立てるライブラリ作りました: https://khibino.github.io/haskell-relational-record/
2021
/
06/27
(日)13:00〜
主催
申込済
2021
/
06/06
(日)16:00〜
申込済
2021
/
05/27
(木)13:30〜
申込済
2021
/
05/23
(日)13:00〜
主催
申込済
2021
/
05/22
(土)16:00〜
申込済
2021
/
05/09
(日)16:00〜
申込済
2021
/
04/25
(日)13:00〜
主催
申込済
2021
/
03/28
(日)13:00〜
主催
申込済
2021
/
02/28
(日)13:00〜
主催
申込済
2021
/
02/21
(日)16:00〜
申込済