Welcome to the repository dedicated to Idris!
- Compiling and running a program
- Reading input from user
- Reading from a file
- Writing to a file
- Pattern match a value of expression
- Is odd/even number
- List comprehensions
- Interfaces and implementations
- Generate random number
- Convert binary number to decimal
- How to check a solution
- Divisible Sum Pairs
- Migratory Birds
- Mini-Max Sum
- Birthday Chocolate
- Cats and a Mouse
- Picking Numbers
- Utopian Tree
- Viral Advertising
- Staircase
- Queens's Attack II