yewang
  • planet earth
  • Member for 3 years, 2 months
Stats
301
reputation
3k
reached
2
answers
3
questions
Loading…
About

dependent types for fun and profit.

This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges

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)