[Agda] `postulate' in `let'

[Nils Anders Danielsson]

On 2012-08-23 11:31, Serge D. Mechveliani wrote:
> Now,  g  and  h  are compiled,
> and  g2  is not:
>                   "Not a valid let-declaration when scope checking".

Lets are quite limited, and apparently do not support postulates.

-- 
/NAD