Idris

languages

A purely functional programming language with dependent types, designed for type-driven development.

Pronunciation

Correct

ID-riss

/ˈɪdrɪs/

Named after the Welsh dragon Idris. Two syllables: 'ID' (short i) and 'riss'. Creator Edwin Brady uses this pronunciation in conference talks.

Source: www.idris-lang.org(official spec)