true

Agda is a dependently typed functional programming language.

Tasks

• AVL tree
• Abstract type
• Ackermann function
• Even or odd
• Extend your language
• Factorial
• Function composition
• Logical operations
• Matrix transposition
• Proof
• Reverse a string
• Sieve of Eratosthenes