
3 Nov
2009
3 Nov
'09
9:49 p.m.
+1 on Control.Monad.Omega. In point of fact, your diagN function is simply diagN = runOmega . mapM Omega You'll find it an interesting exercise to grok the source of Control.Monad.Omega, obviously, but essentially, you're replacing concatMap with a fair (diagonal) traversal order version. Louis Wasserman wasserman.louis@gmail.com http://profiles.google.com/wasserman.louis