Stack Overflow
Stack Overflow

MonadMania
39
reputation
1
1
3
  • Jiaotong University, China
  • Member since March 22 2012
  • 5 profile views
  • Last seen Apr 30 '18 at 00:05

I’m a graduate student studying Algebraic Topology and Homotopy Type Theory while learning Web Development for work.