YSITD_TG_Bot5 says to #ysitd
<koru1130>: 我最近在學Idris
at Mon, Dec 18, 2017 10:44 PM