[Xmonad] How we wrote xmonad: part 1: StackSet + QuickCheck

I've written a blog post on how the core of xmonad is implemented and QuickChecked. It might be useful for those seeking to understand the code: http://programming.reddit.com/info/1mcu8/comments -- Don