I'm also making a backend for Idris: https://github.com/jameshaydon/idris-elixir