Ejercicio 11: tipos-11

Escribir el tipo de la siguiente función:

f1 a1 a2 a3 = a1 (a3 + 1) == a2 (a3 + 1)

Nota: no definir la función, sólo escribir su tipo en la forma

f1 :: ....
¡Dame una pista!

Pensar que las siguientes expresiones deberían tipar:

  • f1 (==0) (>0) 4

Tenés que iniciar sesión antes de empezar a enviar tus soluciones