- From: Graydon <graydonish@gmail.com>
- Date: Sat, 26 Aug 2023 18:38:37 -0400
- To: Norm Tovey-Walsh <norm@saxonica.com>, public-ixml@w3.org
On Fri, Aug 25, 2023 at 05:09:59PM +0100, Norm Tovey-Walsh scripsit:
> <aside>
> I think we should introduce a required terminal for “empty”.
> One candidate is ε:
>
> rule: name, "=", value; ε .
>
> but there lots of other possibilities as well.
> </aside>
One vote from the peanut gallery strongly in favour.
∅ (U+2205 EMPTY SET) might be another character possibility.
--
Graydon Saunders | graydonish@fastmail.com
Þæs oferéode, ðisses swá mæg.
-- Deor ("That passed, so may this.")
Received on Saturday, 26 August 2023 22:38:49 UTC