Language Details: Idris

Skip to: Contestants · Problems solved · Represented countries.

Idris is a general purpose pure functional programming language with dependent types.

Official website (see also: Wikipedia article)

Problems solved

Qualification Round (1 solution by 1 contestant):

Submission Origin

Denmark (1 contestant)