Hola, estamos medio empantanados con Marcela. Luchando con los ejercicios de secuencias. Estamos tratando de resolver el que compara los elementos de dos listas. Resulta que nos da el siguiente error:
Error: {archivo: ProbandoParaTarea16s linea: 35 columna: 64}
Secuencia vacia
Funcion primero es parcial, no esta definida para secuencias vacias.
Tratamos de definir el conjunto secuencia no vacía de la siguiente manera:
conj SecZnoV = { xs en Z* | xs /= [] }
pero cuando queremos cargar el archivo no nos deja. No aparece error ni nada, simplemente no carga el archivo.