[Agda] "Not a valid let-declaration"

Sergei Meshveliani mechvel at botik.ru
Sun Jul 5 12:49:28 CEST 2015


The checker reports

  Not a valid let-declaration when scope checking
  <a long citation of the `let' code> 

It is desirable to point (when it is easy) say, at the first part which
is not valid.

Regards,

------
Sergei



More information about the Agda mailing list