dev-lang/idris2
Purely functional programming language with first class types
USE Flags
+chez
* This flag is undocumented *
doc
Global: Adds extra documentation (API, Javadoc, etc)
minimal
Global: Install a very minimal build (disables, for example, plugins, fonts, most drivers, non-critical features)
racket
* This flag is undocumented *
test-full
* This flag is undocumented *