[Agda] tracing & profiling

[Nils Anders Danielsson]

On 2020-01-20 12:13, mechvel at scico.botik.ru wrote:
> Probably  tracing and/or profiling  is not the main current feature
> (problem) for Agda to design, but is something of this sort already
> possible?

If you use the GHC backend, then you can presumably use GHC's profiling
capabilities. However, Agda generates code with names like du348, so it
might be hard to read the resulting profiles. (I guess it shouldn't be
too hard to generate more readable names. Pull requests are welcome.)

-- 
/NAD