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

[Donald Bruce Stewart]

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