I1M2010: El tipo abstracto de datos de las colas de prioridad en Haskell

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el tipo abstracto de las colas de prioridad, su implementación en Haskell mediante listas y la verificación con QuickCheck de sus propiedades características.

Las transparencias usadas en la clase son las del tema 16: