[Agda] lhs2tex and with

[Dan Licata]

Hi,

lhs2TeX --agda is quite nice.  One question, though: I often format
'with' code so that the branches line up with the scrutinee:

f x y with z
...      | p1 = ...
...      | p2 = ...

Are there any tricks to get lhs2TeX to keep this formatting? It seem to
left-justify the branches.  

Thanks!
-Dan