YSITD_TG_Bot5
says to
#ysitd
<zypeh>: (koru1130: 你跟我說有...) idris 和 haskell