All languages

Idris

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

TODO: Write the wiki article for Idris.