A playful introduction to Racket, with property-based testing
gist.github.com