khibino
(khibino)

Usage start date: 04/17/2013

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

2020

11/08

(Sun)

2020

10/18

(Sun)

2020

10/17

(Sat)

2020

10/09

(Fri)

2020

10/04

(Sun)

2020

09/20

(Sun)

2020

09/06

(Sun)