Description
Dependently typed functional programs can be built with a development version of the Idris 2 toolchain.
It is useful for users who need newer compiler changes for research, language work, or advanced functional programming. Compilers execute build steps and user code, so project sources should be trusted.