YSITD_TG_Bot1
says to
#ysitd
<zypeh>: 要我说是 Idris + Rust