[Agda] "Not in scope" error

Nils Anders Danielsson nils.anders.danielsson at gmail.com
Wed Jul 2 20:06:25 CEST 2008


On Wed, Jul 2, 2008 at 5:47 PM, Robert Rothenberg <robrwo at gmail.com> wrote:
>
> However, I still get the error

Can you send a complete example exhibiting the problem?

-- 
/NAD


More information about the Agda mailing list