Hola, gracias por la respuesta! He encontrado unos cuantos archivos generados por el traductor, lo que me sorprendió ya que pesan entre 1 y 2 MB. Y el "Hello, World!" en C funciona perfectamente.
Ahora, estaba enterado acerca de que el código que traduce es python con tipado estático. Debo instalar algún intérprete nuevo específico para rpython? Existe algún manual o documentación? Lo único que he encontrado es
esto.
Gracias nuevamente!
