[xmonad] darcs patch: X.A.Navigation2D

[Norbert Zeh]

Brent Yorgey [2011.12.11 0857 -0500]:
> Great work!! I have wanted this for a while now.  My poor brain cannot
> keep two different and incompatible window-switching modes straight.

I'm glad this module seems to fill not only my personal needs in my day-to-day
work with xmonad.  Out of curiosity: which two incompatible window-switching
modes are you referring to?

This version of Navigation2D is quite an improvement over the one I sent to the
list a few weeks back and credit for these improvements should go also to Wirt
Wolff, who volunteered to test various versions of the module along the way and
gave *extremely* helpful feedback on usability and documentation.

> 
> ...woah, and there's a PDF! With diagrams! 
> 
> ...and *proofs*!

I guess I just proved the general claim that theoretical computer scientists
make poor programmers: since they first prove the correctness of every little
piece of code they write, they hardly get any coding done.  In this particular
instance, putting the PDF together certainly took longer than actually writing
the code. ;) The main reason I started to put this PDF together was actually to
understand myself which trade-offs are involved in choosing different
directional navigation strategies, and then it was relatively little extra work
to make this available as part of the documentation.

Cheers,
Norbert