@sunotora

C#, JavaScriptあたりが好きです。

なんかメモるよ

https://github.com/scalaz https://github.com/scalaprops https://github.com/scalikejdbc https://github.com/scalapb-json https://github.com/argonaut-io Scala本体や、Scalaz、その他色々なScalaのライブラリのコミッターやってる

Windowsストアアプリとか、iPhoneアプリとかやってます。

( ˘ω˘)

くぁ

AWS Container Hero maintaining kube-aws, eksctl, brigade, helmfile, helm-diff, etc.

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

Coqなどによるプログラムの正しさの検証・証明に興味があります。