khibino

khibino

(khibino)
Usage start date: 04/17/2013

仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。
型検査しながら関係DBクエリを組み立てるライブラリ作りました: https://khibino.github.io/haskell-relational-record/

2024

/

08/24

(Sat)13:00〜

2024

/

07/23

(Tue)19:00〜

Organizing

2024

/

07/13

(Sat)13:00〜

2024

/

07/09

(Tue)19:00〜

Organizing

2024

/

06/25

(Tue)19:00〜

Organizing

2024

/

06/11

(Tue)19:00〜

Organizing

2024

/

06/08

(Sat)13:00〜

2024

/

05/28

(Tue)19:00〜

Organizing

2024

/

05/18

(Sat)13:00〜

2024

/

05/14

(Tue)19:00〜

Organizing

khibino