• Code Jam 2015 ↓
  • 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 (2 solutions by 2 contestants):

• Standing Ovation: 1 small solution, 1 large solution.

Submission Origin