On 2020-01-20 21:06, Ulf Norell wrote: > See https://github.com/agda/agda-ghc-names I think it would be better if Agda made an attempt to generate more or less readable names directly (while respecting Haskell's lexical syntax). -- /NAD