jameshaydon / idris-elixir

A code-generator for Idris that targets Elixir
64Updated 6 years ago

Related projects

Alternatives and complementary repositories for idris-elixir