[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Ulf Norell]

On Fri, May 25, 2018 at 7:56 PM, Sergei Meshveliani <mechvel at botik.ru>
wrote:

>
> By the way, do the above "compile-time", "reduction machine", and
> "call-by-need" refer to the  type check  stage?
>

Yes.

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