-
Notifications
You must be signed in to change notification settings - Fork 379
[Delete] Idris Community talks
Joel Berkeley edited this page Sep 22, 2022
·
3 revisions
@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