Add .gitignore file
Add Idris implementation