Hole-driven Haskell
Channel: Matthew Brecknell
Date: 26/02/2013

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 GHC.