Name		Name	Last commit message	Last commit date
parent directory ..
Main.idr		Main.idr
README.md		README.md
secret.txt		secret.txt

README.md

Decoding

... More to come ...

Running the examples

idris2erl --exec main Main.idr