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

[Jason Reich]

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