idris-erlang

idris-erlang

https://github.com/lenary/idris-erlang

Haskell190

7 years ago

Reviews

Erlang Backend for Idris Compiler

Search similar apps

    License

    BSD 3-Clause "New" or "Revised" License

    Share

    Erlang Backend for Idris Compiler

    Creator

    lenary

    Related apps