https://github.com/jameshaydon/idris-elixir/tree/master
A code-generator for Idris that targets Elixir. Contribute to jameshaydon/idris-elixir development by creating an account on GitHub.
Mastodon server of https://doma.dev.
