[Agda] interactive Bin arith performance

[Ulf Norell]

On Wed, Jan 30, 2019 at 10:58 PM Sergei Meshveliani <mechvel at botik.ru>
wrote:

>
> Does it make difference for performance whether the module M1.agda is
> previously compiled or not?
> (I have an impression that it is equally slow).
>

It makes no difference.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190131/6ad2eeae/attachment.html>