7 Jun
2007
7 Jun
'07
1:50 a.m.
Hello, is there a way to declare certain non-standard Haskell keywords as keywords in lhs2TeX so that they get formatted like keywords? This would be helpful for rendering arrow syntax expressions with lhs2TeX since they use proc and sometimes rec. Best wishes, Wolfgang
7 Jun
7 Jun
8:53 a.m.
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
7024
Age (days ago)
7024
Last active (days ago)
1 comments
2 participants
participants (2)
-
Wolfgang Jeltsch -
Wouter Swierstra