Presentation about GRIN on discord

[andre....@gmail.com]

Hello everyone,

This Sunday at 3:30 UTC+0 there will be a presentation about the Idris2 GRIN backend. It will happen on discord, the link to the event is here https://discord.gg/qk9BcUnM?event=946332065740259388

Previous talks that have been recorded are available here https://github.com/idris-lang/Idris2/wiki/2-%5BCommunity%5D-Idris-Community-talks