Name		Name	Last commit message	Last commit date
parent directory ..
Main.idr		Main.idr
README.md		README.md
demo.ipkg		demo.ipkg

README.md

Library

... More to come ...

Running the example

idris2erl --build demo.ipkg
erl -noshell -pa ebin -eval "'Idris.Main':print_sum(5, 6)" -s erlang halt

Output:

Sum: 11
11