エンジニア / 元Life is Tech! iPhoneメンター / UTokyo / IS17er, CS19er [ http://twitter.com/touyou_dev ], [ https://github.com/touyou ]

Moggiと"love"で接近中! 🤟🙄🤟

仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。

You'll never learn if you don't see the dark side too.

I like Haskell