IRC bot for Hy