Open qingwen-guan opened 4 years ago
https://www.zhihu.com/people/arjuna
https://zhuanlan.zhihu.com/p/32182423?refer=typetheory
格论: https://zhuanlan.zhihu.com/p/33974333
https://www.zhihu.com/people/arjuna