Software

Idris

purely functional programming language

Overview text may include a short Wikipedia extract. See sources.

Official website Wikipedia article Wikidata item

Key facts

Official website
https://www.idris-lang.org · Wikidata

Sources