--- /dev/null +++ /dev/null @@ -2050,6 +2056,9 @@ Changes
  • Added definition of <> notation to definition of identifiers.
  • Added <> as a shorthand for <> | <>, along with equivalent productions for angles, numbers, times, and frequencies. +
  • Allowed <>s inside ''calc()'' to resolve as their own type, + if they occur in some (as yet theoretical) context + where they are not compatible with any other type.
  • Various clarifications and editorial improvements.