khibino
(khibino)

Usage start date: 04/17/2013

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

2021

11/07

(Sun)

13:00〜

Attending

Haskell Day 2021 Public

Haskell-jp

Haskell Day 2021

YAMAMOTO Yuji YAMAMOTO Yuji

オンライン

181

2021

10/17

(Sun)

16:00〜

Attending

2021

10/11

(Mon)

2021

10/10

(Sun)

16:00〜

Attending

2021

10/05

(Tue)

19:00〜

Organizing

Attending

2021

10/01

(Fri)

2021

08/31

(Tue)

19:00〜

Organizing

Attending

2021

08/21

(Sat)

2021

08/17

(Tue)

19:00〜

Organizing

Attending

2021

08/15

(Sun)

16:00〜

Attending