yewang's user avatar
yewang's user avatar
yewang's user avatar
yewang
  • Member for 6 years, 2 months
  • Last seen more than 4 years ago
  • planet earth
Stats
259
reputation
5k
reached
1
answer
4
questions
Loading…
About

dependent types for fun and profit.

This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts