[Agda] Identifying inefficiency

Martin Escardo m.escardo at cs.bham.ac.uk
Tue Mar 26 15:11:41 CET 2019


I have a file with 339 lines only that takes 31s to type check.

(Then on the same computer a development of 25k lines without comments 
takes 3m 20s to type check.)

I can find the place where the inefficiency takes place by manual bisection.

Is there a better way?

M.


More information about the Agda mailing list