Objetivos¶ Interpretador de chequeo Primitivas letrec Temas¶ Interprete de chequeo V Interprete de chequeo (terminado) Interpretador inferencia Ejemplo 1 Inferencia Ejemplo 2 Inferencia