EmacsでGaucheを勉強中。

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

OCaml, Nim, TypeScript, React.js, React Nativeなど

広島でクジラTシャツを着て仕事しています

プログラミング言語理論をやっている大学院生。Python, OCaml, Elixir

JavaScript engineer

#プログラミング,#音ゲー,#酒

Prettier メンテナです

とても謙虚で心理的安全性の塊みたいなエンジニアです。