3 [Delete] Idris Community talks

Joel Berkeley edited this page 2022-09-22 16:36:48 +01:00

@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

• Wiki Home Page
• Using Idris
  • Resources
  • Editor Support
  • Third-party Libraries
  • External Backends
• Working on Idris
  • Getting Started
  • What Contributions are Needed
  • Map of the Source Code
  • FAQ
• Proposed changes
  • Contrib Organisation
  • The State of Idris Documentation
  • Compiler API
  • Networking Primitives
  • Types Metaprogramming Manifesto
  • TypeScript and ECMAScript interfacing
  • Modularize Machine Representation of Types