Hola,
En la clase próxima vamos a abordar el tema de corrección y testing de programas.
Para el tema testing recomendamos leer el artículo "Quickcheck: a lightweight tool for random testing of Haskell programs" (https://dl.acm.org/doi/10.1145/351240.351266).
Saludos,
Alberto.