yewang
  • planet earth
  • Member for 3 years, 4 months
About

dependent types for fun and profit.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %