idris-lang/Idris2

**Idris2: A Purely Functional Programming Language** Idris2 is an open-source, purely functional programming language with first-class types, offering a unique