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