If you have Telegram, you can view and join
ice learn agda right away.