GitHub - jameshaydon/idris-elixir: A code-generator for Idris that targets Elixir - discu.eu

Reddit

Elixir backend for Idris https://github.com/jameshaydon/idris-elixir 7 comments 8/1/2018 idris

Linked pages

Designing for Scalability with Erlang/OTP [Book] http://shop.oreilly.com/product/0636920024149.do 3 comments

Would you like to stay up to date with Erlang & Elixir? Checkout Erlang & Elixir Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - jameshaydon/idris-elixir: A code-generator for Idris that targets Elixir

See how to search.

Submit link to: