Agda-2.3.2.2: test/fail/AgdalightTelescopeSyntax.err
AgdalightTelescopeSyntax.agda:6,15-15 AgdalightTelescopeSyntax.agda:6,15: Parse error ;<ERROR> z : B x) -> A -- this is Agda...
AgdalightTelescopeSyntax.agda:6,15-15 AgdalightTelescopeSyntax.agda:6,15: Parse error ;<ERROR> z : B x) -> A -- this is Agda...