These are my slides for talks given related to Property-based testing.
The current version of the slides uses patat and markdown format.
Displaying the slides is a pretty simple
patat slides.md
To install patat, the repository is a cabal package depending on pata, however the simplest way to get going on ubuntu is a simple
bash ubuntu_preinstall.sh
cabal install patat
After which patat should be in ~/.cabal/bin
. It is recommended to
include that directory in PATH.