The most important
- Added a filter for rewrite rules that aren’t “lhs2TeX safe”, e.g.
format () = ...;
- I hardcoded the default formatting rules for several of lhs2TeX defaults,
including but not limited to
=>. This is not a desirable solution but it suits my purposes.
You can do literal (numeral, character and string) formatting easily with lhs2TeX itself with the following directives:
1 2 3