Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
26
reputation
3

yewang

dependent types for fun and profit.

0
answers
1
question
~149
people reached
  • planet earth
  • Member for 1 year
  • 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