FYI. Another step towards unifying notation and case types.
Allows dropping the annoying preceding | from syntax (and grammar) definitions.
Parses definitions as Case by default, treating as Notation only ones without a head atom to distinguish cases.
(In further steps, I'd like to eliminate Notation types altogether and turn them into single-alternative case types, like most backends would probably expect/prefer anyway.)
(Also happens to reduce the number of special cases in IL-2-AL translation slightly.)
FYI. Another step towards unifying notation and case types.
Allows dropping the annoying preceding
|from syntax (and grammar) definitions.Parses definitions as Case by default, treating as Notation only ones without a head atom to distinguish cases.
(In further steps, I'd like to eliminate Notation types altogether and turn them into single-alternative case types, like most backends would probably expect/prefer anyway.)
(Also happens to reduce the number of special cases in IL-2-AL translation slightly.)