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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
3
Score
5
Posts
100
Posts %
2
Score
2
Posts
40
Posts %
1
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %