The Idris 2 Programming Language

by Stefan Höck, Nathan McCarty, and others

Welcome to the community Idris 2 tutorial! This book aims to be a comprehensive resource for learning the Idris 2 programming language.

This book is rendered from a collection of Idris source files structured as a normal Idris project, which you can download and play around with.