idris-lang/Idris2

Idris 2 is a purely functional programming language with first class types. For installation instructions, see INSTALL.md. The wiki lists a number of useful resources, in particular What's changed since Idris 1 Resources for learning Idris, including official talks that showcase its capabilities Editor support The most common way to install the latest version of Idris and its packages is through pack Idris' package manager. Working with the latest version of Idris is as easy as pack switch latest. Follow instructions on the pack repository for how to install pack. To use pack and idris, you wi…