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

Ruby, RoR, Scala,PlayFramework,Vim周辺に興味あります。よろしくお願いします。