marcofavorito/tl-grammars

Make upper-case reserved

Closed this issue · 1 comments

marcofavorito commented

Some upper-case characters should be made reserved, as these are used in LTLf and PLTLf. E.g. X, F, G

marcofavorito commented

Addressed in #6