## Reading

For the thirteenth class, we will read
**Generating Good Generators for Inductive Relations** [PDF] by Leonidas Lampropoulos, Zoe Paraskevopoulou, and Benjamin C. Pierce.

This is a really cool paper that's all about how to use **property-based testing**---like QuickCheck of Haskell fame---to make sure the theorems you state are actually correct. Otherwise, you might waste time trying to prove a false theorem!

We are super lucky to have the first author Leo available remotely to give a quick talk on QuickChick. So reading this paper is mostly a way to **prepare for that talk**, so it's easier to follow and ask informed questions. We will have time for an open discussion after the talk and Q&A.

You can find a reading guide and the discussion questions below.

Please note that **this is due the morning before class**, so that we can discuss it in person. And **please install the artifact before Thursday's class**.