" with " reserved identifier
acgc with.acg
Parsing "with.acg"...
Error: File "with.acg", line 4, characters 1-5
Syntax error: Identifier or "prefix" or "infix" or "binder" or "end" kwd expected
with seems to be a reserved word.
acgc with.acg
Parsing "with.acg"...
Error: File "with.acg", line 4, characters 1-5
Syntax error: Identifier or "prefix" or "infix" or "binder" or "end" kwd expected
with seems to be a reserved word.