lenary / Idris Erlang
Licence: other
Erlang Backend for Idris Compiler
Stars: ✭ 185
Programming Languages
haskell
3896 projects
idris-erlang
Idris to Erlang Compiler and Libraries.
I started using Stackage, so these instructions now use stackage.
- Install Stack
- Install Erlang
- Checkout this repository and cd into its toplevel directory
- Compile the runtime support using
(cd irts; erlc *.erl)
- Build this package with
stack build
- Install the erlang package using
(cd libs/erlang; stack exec idris -- --install erlang.ipkg)
You're up and running. To invoke the compiler, use
$ stack exec idris -- --codegen=erlang --package=erlang Main.idr -o main.erl
Then run the program using
$ escript main.erl
If everything has worked, then you should be able to compile and run
all the examples. If not, ¯\_(ツ)_/¯
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].