yewang's user avatar
yewang's user avatar
yewang's user avatar
yewang
  • Member for 6 years, 2 months
  • Last seen more than 5 years ago
  • planet earth
Stats
327
reputation
2k
reached
0
answers
6
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
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts