khibino
(khibino)

Usage start date: 04/17/2013

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

2022

10/08

(Sat)

2022

09/24

(Sat)

19:00〜

Organizing

2022

08/26

(Fri)

19:00〜

Organizing

2022

08/13

(Sat)

2022

08/02

(Tue)

19:00〜

Organizing

2022

07/19

(Tue)

19:00〜

Organizing

2022

07/05

(Tue)

19:00〜

Organizing

2022

06/21

(Tue)

19:00〜

Organizing

2022

06/18

(Sat)

2022

06/07

(Tue)

19:00〜

Organizing