Welcome to the repository dedicated to Idris!
Basic operations
- 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
Advanced algorithms
Famous problems
Hackerrank solutions
- 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
Resources
- An auxiliary list of awesome Idris resources
- Python backend for Idris
- Python 3 backend for Idris
- Ruby backend for Idris
- Erlang backend for Idris
- A ChezScheme backend for Idris
- How to implement an Idris back end within hours