192
reputation
7

Yosh

Mainly playing with Haskell, sometimes Python, JavaScript and Coq, recently Rust as a hobby. Main editor : vim.

0
answers
4
questions
~727
people reached
  • Japan
  • Member for 5 years, 1 month
  • 5 profile views
  • Last seen Jul 20 at 7:07

Top tags (9)

Score 0
Posts 2
Posts % 50
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (4) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

Bronze

7

Rarest