dev-lang/
idris2

Purely functional programming language with first class types

https://idris-lang.org/

Good job! There are no bugs.

You think something is missing here?
Start with filling a new bug.

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: