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

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

• Consonants: 1 small solution.

Submission Origin