Imagen especular de un árbol binario

El árbol binario

se puede representar por

El tipo de los árboles binarios se puede definir por

Definir la función

tal que espejo x es la imagen especular del árbol x. Por ejemplo,

Comprobar con QuickCheck las siguientes propiedades, para todo árbol x,

Soluciones

A continuación se muestran las soluciones en Haskell y las soluciones en Python.


Soluciones en Haskell


Soluciones en Python