<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">On Fri, May 25, 2018 at 7:56 PM, Sergei Meshveliani <span dir="ltr"><<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
By the way, do the above "compile-time", "reduction machine", and<br>
"call-by-need" refer to the  type check  stage?<br></blockquote></div><div class="gmail_quote"><br></div><div class="gmail_quote">Yes.</div><div class="gmail_quote"><br></div><div class="gmail_quote">/ Ulf<br></div></div></div>