Go to Qiita Advent Calendar 2024 Top
LoginSignup

@wataruY@github

9Contributions
3
Posts0
Followees3
Followers
Mailwataru.yamazaki.nullptr@gmail.com

Following Organizations

No Organizations you are following

$ analyze @wataruY@github

posted articles:
  • Coq:33%
  • Agda:33%
  • Haskell:33%
answered questions:
  • No data