Hole-driven Haskell 26 Feb 2013

A demonstration of a technique for using types to guide the construction of Haskell programs, based on natural deduction. Includes some tricks for getting help from the compiler, GHC.

Thanks to Tony Morris, Greg Davis and Clinton Freeman for giving me the idea.

You can download the video as MP4 with embedded subtitles, WebM with separate subtitles, or find it on YouTube.