[Agda] old .agdai

Sergei Meshveliani mechvel at botik.ru
Mon Apr 17 22:27:34 CEST 2017


Dear Agda developers,

when I make a change to the source  Foo.agda,  and apply the checker,
does this make a difference for the check performance of whether
Foo.agdai is deleted before checking or not?

Thanks,

------
Sergei



More information about the Agda mailing list