Stack Overflow
Stack Overflow

yewang
585
reputation
7
14
  • planet earth
  • Member since April 26 2018
  • 73 profile views
  • Last seen Aug 02 '20 at 00:45

dependent types for fun and profit.