GitHub repository: rfindler/icfp-2014-contracts-talk
Primary language: Racket
Description: Slide implementation from 2014 ICFP keynote