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 (2 solutions by 2 contestants):

Submission Origin

China (1 contestant)
Taiwan (1 contestant)