khibino
(khibino)

Usage start date: 04/17/2013

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

2022

11/27

(Sun)

16:00〜

Attending

2022

11/12

(Sat)

2022

10/09

(Sun)

2022

08/28

(Sun)

13:30〜

Attending

2022

08/17

(Wed)

19:00〜

Attending

Gotanda.hs #2 @HERP Ended

Gotanda.hs #2 @HERP

herp_inc herp_inc

オンライン

65/83

2022

08/13

(Sat)

2022

07/03

(Sun)

16:00〜

Attending

2022

04/03

(Sun)

16:00〜

Attending

2022

03/19

(Sat)

2022

02/27

(Sun)

16:00〜

Attending