YSITD_TG_Bot5 says to #ysitd
<koru1130>: (james58899: 我是覺得J...) 你可以去學學看Idris
at Mon, Dec 18, 2017 10:45 PM