
6 Apr
2011
6 Apr
'11
11:54 a.m.
Tillmann Rendel wrote:
How would that affect the non-code parts of literate Haskell (*.lhs) files? In particular, would it place any burden on third-party tools processing these files?
lhs2TeX already has limited support for UTF-8 for the rendering of Literate Agda files. Jason