Proposal: Define UTF-8 to be the encoding of Haskell source files

Jason Reich jason at
Wed Apr 6 13:54:50 CEST 2011

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.


More information about the Haskell-prime mailing list