Description
Dependently typed functional programs can be written, checked, and compiled with the Idris 2 language toolchain.
It is useful for developers and researchers exploring type-driven development, proofs, and advanced functional programming. Compilers execute build steps and user code, so project sources should be trusted.