Hola, cómo podemos definir la notación de la relación posfijo?
ya que esta relación a ser de listas de tipo genérico la definimos con tres argumentos.
Gracias, saludos!
Hola.
Puede ser así:
Infix "<<" := (posfijo A)(left associativity, at level 94).Saludos, Carlos