This is the first paper about ๐-calculus (read in PDF).
The reference interpreter is phino.
To build it, just run:
makeYou need to have LaTeX, GNU Aspell, jq, texsc, and texqc installed.
You may also want to check whether your LaTeX installation has
all the packages required in the DEPENDS.txt file.
If you miss any of them, install, for example, with the help of tlmgr.
Once compiled and packaged, upload zip archive to arXiv.