Idris

Idris is a functional programming language with dependent types.

Tasks

• 100 doors
• A+B
• AKS test for primes
• Ackermann function
• Array concatenation
• Array length
• Binary digits
• Boolean values
• Cholesky decomposition
• Dot product
• Extend your language
• Fast Fourier transform
• Fibonacci sequence
• FizzBuzz
• Haversine formula
• Implicit type conversion
• LU decomposition
• Matrix multiplication
• Matrix transposition
• Mutual recursion
• Population count
• Proof
• Repeat a string