• Code Jam 2016 ↓
  • Qualification Round
  • Round 1A
  • Round 1B
  • Round 1C
  • Round 2
  • Round 3
  • Final Round
• Countries
• Languages
• Final Round

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):

• Revenge of the Pancakes: 1 large solution.

Submission Origin