Hola,
Por ejemplo en el ejercicio 1 hay que escribir el término con exact o refine (o así lo entiendo; de cualquier manera es un buen ejercicio) y en un punto tengo que dar una prueba de por ejemplo 0 = 0 /\ pred 0 = 0.
Si uso (_ , _) me dice que eso es de tipo (? * ?) a diferencia de (? /\ ?).
No estoy encontrando en internet la sintaxis para dar un término exacto de tipo (? /\ ?). Tienen idea?
Gracias; saludos!