[Haskell] new keywords in lhs2TeX

[Wouter Swierstra]

On 7 Jun 2007, at 02:50, Wolfgang Jeltsch wrote:
> is there a way to declare certain non-standard Haskell keywords as  
> keywords in
> lhs2TeX so that they get formatted like keywords?

You may want to check pages 29-30 of the lhs2TeX manual. It does  
coves something similar for UUAG and Generic Haskell. Basically, I'd  
define:

%format proc = "\mathbf{proc}"
%format rec = "\mathbf{rec}"

Provided you use lhs2TeX with the --poly flag, this should work.

   Wouter