Physics Stack Exchange
Physics Stack Exchange

yewang
121
reputation
  • planet earth
  • Member since February 11 2018
  • 4 profile views
  • Last seen Jul 21 '18 at 06:56

dependent types for fun and profit.