[Delete] Idris Community talks - idris-lang/Idris2 GitHub Wiki

@joelberkeley moved the talks with video links to #Resources and suggests we delete this page

Every month on the Idris discord server a member of the community shares their experience with Idris, presents one of their project or introduces a useful library from the ecosystem. This is the list of previously recorded talks:

• 01.07.2021: Optics for Servers https://www.youtube.com/watch?v=4xpbYPa1lTc
• 05.08.2021: Domain Driven Design Made Dependently Typed https://www.youtube.com/watch?v=QBj-4K-l-sg
• 02.09.2021: Extending RefC - Making Idris 2 backends while avoiding most of the work https://www.youtube.com/watch?v=i-_U6US3bBk
• 09.10.2021: Introduction to JVM backend for Idris 2 https://www.youtube.com/watch?v=kSIUsBQS3EE
• 04.11.2021: Compiling Idris via Malfunction (Not recorded)
• 06.12.2021: Dependent Types for APL: An Experience Report (Not recorded)
• 07.12.2021: Idris Data Science Infrastructure - Because sometimes we have to consider the real world https://www.youtube.com/watch?v=4jDlYJf9_34