Install libghc-smallcheck-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libghc-smallcheck-dev
Description:
Another lightweight testing library
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but instead of testing for a sample of randomly generated values, SmallCheck tests properties for all the finitely many values up to some depth, progressively increasing the depth used. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
Homepage: https://github.com/feuerbach/smallcheck
Version: 1.1.2-1
Section: universe/haskell