39
reputation
3

yewang

dependent types for fun and profit.

1
answer
4
questions
~677
people reached
  • planet earth
  • Member for 1 year, 7 months
  • 5 profile views
  • Last seen Feb 15 at 10:03

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

Top posts (5) All Questions Answers | Votes Newest

Badges (3)

Gold

Silver

Bronze

3

Rarest