277
reputation
1
7

Yosh

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

0
answers
4
questions
~745
people reached
  • Japan
  • Member for 5 years, 5 months
  • 6 profile views
  • Last seen Jul 31 at 8:50

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 (8)

Gold

Silver

1

Rarest

Bronze

7

Rarest