Hi,<br><br>Peyton Jones [1, §4.2.8] states that where clauses are translated into<br>let expressions.<br><br>I found the following comment in Agda source code<br>(Agda.Syntax.Abstract):<br><br>-- | We could throw away @where@ clauses at this point and translate them to<br>

--   @let@. It&#39;s not obvious how to remember that the @let@ was really a<br>--   @where@ clause though, so for the time being we keep it here.<br><br>So, are where clauses translated to let expressions in Agda?<br><br>

[1] Simon L. Peyton Jones. The Implementation of Functional<br>    Programming Languages. Prentice-Hall International, 1987.<br><br>Thanks,<br><br clear="all">-- <br>Andrés<br>