[Agda] tracing & profiling

Nils Anders Danielsson nad at cse.gu.se
Mon Jan 20 21:15:49 CET 2020


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


More information about the Agda mailing list