Tesi di laurea triennale di Stefano Bucciarelli in Informatica presso l'Università di Bologna, dal titolo Un compilatore per un linguaggio per smart contract intrinsecamente tipato esposta il 18 dicembre 2019.
Queste sono le dipendenze per chi fosse interessato a compilare
- pandoc
- pandoc-citeproc
- texlive-xetex
- texlive-fonts-recommended
- texlive-generic-recommended
- texlive-lang-italian
- librsvg2-bin