• Yuji YAMAMOTO@igrep

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

  • Yuito Murase@zptmtr

  • 須原 浩道@suharahiromichi

    定理証明系や論理プログラミングに興味をもっています。

  • @gyu-don

    来世はパンダになりたい。

  • @yoshihiro503

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