Robazza di semantica

compile.sh
custom.tex
fun.tex
imp.tex
lambda.tex
main.dvi
main.pdf
main.tex
pi.tex