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

Round 1C (1 solution by 1 contestant):

Submission Origin

Sweden (1 contestant)