92
reputation
4

yewang

dependent types for fun and profit.

0
answers
6
questions
~558
people reached
  • planet earth
  • Member for 1 year, 4 months
  • 3 profile views
  • Last seen Feb 7 at 10:21

Top tags (10)

Score 0
Posts 1
Posts % 17
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (6) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

Bronze

4

Rarest