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 _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime