26
reputation
3

yewang

dependent types for fun and profit.

0
answers
1
question
~169
people reached
  • planet earth
  • Member for 1 year, 3 months
  • 0 profile views
  • Last seen Nov 18 '18 at 23:06

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (3)

Gold

Silver

Bronze

3

Rarest