YSITD_Chat_Bot says to #ysitd
<koru1130>: 這年頭連類型論都可以跟拓樸學扯上關係啦
at Mon, Jul 1, 2019 1:18 AM