Adding place for playing with Elixir and Idris.