Resources - idris-lang/Idris2 GitHub Wiki

This page lists external resources for Idris development. Since some are contributed by the community they might not all follow the same standard of quality. Feel free to add your own.

Learning

Books

• Type-Driven Development with Idris, Edwin brady. This was written for Idris1. If you are using Idris2, you should make these changes
• Gentle Introduction to Dependent Types with Idris, Boro Sitnikovski

Tutorials

• Functional Programming in Idris 2
• A Tutorial on Elaborator Reflection in Idris 2, accompanied by library utilities
• An attempt at explaining Decidable Equality

Official talks

• What's New in Idris 2, Edwin Brady, Berlin Functional Programming Group
• Scheme Workshop Keynote, Edwin Brady, ACM SIGPLAN
• Idris 2 - Type-driven Development of Idris, Edwin Brady, Curry On! 2019
• Idris 2: Type-driven development of Idris, Edwin Brady, Code Mesh LDN 18
• The implementation of Idris 2, Edwin Brady, SPLV'20 and accompanying code

Community talks

• Optics for Servers, Andre Videla, July '21
• Domain Driven Design Made Dependently Typed, Andor Penzes, Aug '21
• Extending RefC - Making Idris 2 backends while avoiding most of the work, Robert Wright, Sept '21
• Introduction to JVM backend for Idris 2, Marimuthu Madasamy, Oct '21
• Idris Data Science Infrastructure - Because sometimes we have to consider the real world, Robert Wright, Dec '21

Documentation

• Official documentation
• Standard library online API reference
  • official, release
  • official, latest
  • community
• Community API reference for selected packages

Development

Docker images

• https://github.com/joshuanianji/idris-2-docker
• https://github.com/dgellow/idris-docker-image
• https://github.com/alexhumphreys/idris2-dockerfile
• https://github.com/mattpolzin/idris-docker
• https://github.com/stefan-hoeck/idris2-pack/pkgs/container/idris2-pack