[Agda] binder for existential quantifier

[Nils Anders Danielsson]

On 2011-04-08 16:04, Bengt Nordstrom wrote:
> Sorry Nisse, but this kind of lexical nonsense is a very efficient way
> to keep Agda away from new users!

The colon character is reserved, so it cannot be used (at least not with
the current implementation). One could of course use another character
instead, maybe ∈, or avoid the use of syntax declarations.

-- 
/NAD