Homotopy type theory course online. 每天超慢跑10分鐘.

Makipagkaibigan in english pronunciation. 瑪奇反動.