[Dlang-internal] Terminology page in spec

[Petar]

On Monday, 14 January 2019 at 14:42:50 UTC, Johan Engelen wrote:
> Hi all,
>   I'd like to have a terminology page for the spec.
> At the moment, I am thinking about clearly describing terms 
> like "implementation-defined behavior" and "undefined 
> behavior", because there is so much confusion about it. I'm 
> sure we'll run across more terms that need proper explanation 
> (possibly referring to another location in the spec).

It seems you're looking for this page: https://dlang.org/glossary.

> Do you agree?
> If so, I'll work on adding it.

Yes, we really ought to define the terminology used better 
throughout the spec. "Implementation/undefined behavior" are not 
defined there (or anywhere else) as far as I can see. I think 
someone with a good eye for precise semantics such as yourself 
can make significant progress w.r.t making the spec more robust.