If you have Telegram, you can contact @ice_learn_agda_chat right away.