jmitchell / idris-elixirView on GitHub
Idris backend targeting Elixir (Work in progress)
18Jan 26, 2017Updated 9 years ago

Alternatives and similar repositories for idris-elixir

Users that are interested in idris-elixir are comparing it to the libraries listed below

Sorting:

Are these results useful?