Difference lists

23 Sep 2014

• Haskell
• data structures

B-trees with GADTs

15 May 2013

• Haskell
• data structures
• dependent types
• screencast

Hole-driven Haskell

26 Feb 2013

• Haskell
• screencast