Se qualcuno รจ curioso di sapere come risolvere il problema che avevo posto,
date un'occhiata a questa mia domanda su stackoverflow.
http://stackoverflow.com/questions/31662104/executable-script-installed-from-pip-uses-the-wrong-python-path/
Buona lettura.
enrico franchi enrico.fran...@gmail.com writes:
A cosa serve bottom? Immagina di volere dare il tipo ad un'espressione la
cui computazione non termina (perche' tipo che' il classico while 1). Ecco,
spesso si decide che il tipo di questa espressione e' bottom. Nota,
parliamo di tipi teorici,