[Agda] tracing & profiling

[mechvel at scico.botik.ru]

Thanks to people,

Meanwhile I use Debug.Trace of Agda lib.
But I shall keep the profiling tool in mind.

------
Sergei


On 2020-01-20 23:15, Nils Anders Danielsson wrote:
> 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).