291
reputation
1
5

yewang

dependent types for fun and profit.

2
answers
3
questions
~2k
people reached
  • planet earth
  • Member for 2 years, 10 months
  • 4 profile views
  • Last seen Aug 2 '20 at 0:45

Top tags (9)

Score 3
Posts 5
Posts % 100
Score 2
Posts 2
Score 1
Posts 1
Score 1
Posts 1
Score 0
Posts 2
Score 0
Posts 1

Top posts (5)

Badges (6)

Gold

Silver

1

Rarest

Bronze

5

Rarest