An IRC bot for a toy language