Source Package idris2

Subpackages

• idris2 - Purely functional programming language with first class types
• idris2-doc - Idris2 documentation
• idris2-libs - idris2 runtime support library