-
NONE
- Saitama, Japan
- http://d.hatena.ne.jp/keita44_f4/
日比野 啓 (Kei Hibino)
khibino
Working Haskell Programmer
.
The author of Haskell Relational Record,
Project Site https://khibino.github.io/haskell-relational-record/
Tokyo, Japan
Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan
YOSHIHIRO Imai
yoshihiro503
CEO of proof ninja, Inc.
Coq proof developer
@proof-ninja, Inc Chiba, Japan