Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023