YSITD_TG_Bot
says to
#ysitd
<seadog007>: (james58899: 對於F#都...) 寫functional跟proving的都怪物