[Agda] why it can no be parsed ?

[Vag Vagoff]

On 15.07.2010 1:04, Leonardo Rodriguez wrote:
>
> 〈_⟩ :
 > ⟨ NCon x φ ⟩
Because your angle brackets are not the same in these lines.
Copy left bracket from 2nd line to first one and all will be ok.