Idris 2

Pure functional language with full dependent types.

Idris 2 is a research-driven language for dependently-typed programming and theorem proving. It compiles via a Chez Scheme backend and runs on Linux.

License: BSD-3-Clause

Category: Language

Website: https://www.idris-lang.org/

Install

Build per https://idris2.readthedocs.io/

PreviousIceWM Nextiftop