Idris 1

Idris (https://idris-lang.org/) is a general-purpose functional programming language with dependent types.

Status

This is Idris 1, implemented in Haskell. Idris 1 is not actively worked on anymore.

Idris 2 is the next generation of Idris, and where primary development happens.