empty string is accepted as a valid identifier

[skybrian]

In the core syntax, it looks like an empty string is accepted as a valid identifier in most places. (For example, it looks like "! = +123" would parse.)

In FormCore.js, the parse_name() function can return an empty string, and the same for Kind.Core.read.name. The callers mostly don't check for empty, so it will end up in terms.

(This is from reading the code; I haven't tested it.)

[skybrian]

Also, a leading digit is accepted, so I think you could write !0 = +1; 0.

[algebraic-dev]

Closed because the repository now only contains the code for the Kind2 language.