Qiita Teams that are logged in
You are not logged in to any team

Log in to Qiita Team
OrganizationAdvent CalendarQiitadon (β)
Qiita JobsQiita ZineQiita Blog
Issue report
Help us understand the problem. What is going on with this user?

Tokyo Institute of Technology / Department of Computer Science

$ analyze @amutake
posted articles
  • Coq:43%
  • Erlang:29%
  • RaspberryPi:14%
  • sbt:14%
  • wercker:14%
LGTMed articles
  • Haskell:24%
  • OCaml:18%
  • Coq:12%
  • Scala:12%
  • 関数型言語:12%
answered questions
    No data