ctfp-lab1

Author

Cristian Alzate Urrea

Operating system

Arch Linux x86_64

Kernel: 5.17.6-arch1-1

Stack version used

Stack 2.9.1

GHC version used

GHC 9.4.2

QuickCheck library version used

QuickCheck 2.14.2