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