YSITD_Chat_Bot
says to
#ysitd
<ptrcmd>: (koru1130: 程式ㄉ) 有用 agda 寫過xd