khibino
(khibino)

Usage start date: 04/17/2013

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

2021

10/23

(Sat)

2021

10/19

(Tue)

19:00〜

Organizing

2021

10/05

(Tue)

19:00〜

Organizing

Attending

2021

09/25

(Sat)

2021

09/21

(Tue)

19:00〜

Organizing

2021

08/31

(Tue)

19:00〜

Organizing

Attending

2021

08/21

(Sat)

2021

08/17

(Tue)

19:00〜

Organizing

Attending

2021

07/24

(Sat)

13:00〜

Organizing

Attending