Testing equational properties using QuickCheck. This repository contains example code of testing simple equational properties of Haskell functions using the QuickCheck library. Pedro Vasconcelos, 2024