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

dependent types for fun and profit.

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

Top tags (10)

Score 0
Posts 1
Posts % 20
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (5)