Slideshow implementation from 2014 ICFP keynote.
Install via the package manager:
raco pkg install icfp-2014-contracts-talk
and then run via racket
racket -l icfp-2014-contracts-talk
The video is on youtube: https://www.youtube.com/watch?v=gXTbMPVFP1M