YSITD_TG_Bot5
says to
#ysitd
<koru1130>: 就算有的話也是Haskell Idris那類的