khibino
(khibino)
Usage start date: 04/17/2013
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。
型検査しながら関係DBクエリを組み立てるライブラリ作りました: https://khibino.github.io/haskell-relational-record/
- Attended 272
- Organize 203
- Presenter 2
- Bookmark 0
2023
/
10/28
（Sat）13:00〜
Organizing
nobsun2023
/
10/03
（Tue）19:00〜
Organizing
tmiya_2023
/
09/23
（Sat）13:00〜
Organizing
Attending
2023
/
09/19
（Tue）19:00〜
Organizing
2023
/
09/12
（Tue）19:00〜
Organizing
2023
/
08/26
（Sat）13:00〜
Organizing
Attending
2023
/
08/22
（Tue）19:00〜
Organizing
2023
/
08/08
（Tue）19:00〜
Organizing
2023
/
07/22
（Sat）13:00〜
Organizing
2023
/
07/18
（Tue）19:00〜
Organizing
The IT meetup platform
connpass is made by BeProud Inc. in Tokyo Japan