Hello and welcome to the QuickCheck tutorial. This project will present the introduction to QuickCheck from basic stuff to the more advanced. We will be covering QuickCheck 2.16. version so if you have some other version be aware that some parts of code might not work. Link to tutorial. Please also take some time to look over some examples in the src folder. The tutorial is still under construction 🚧.