Lost your login?
Created on 2016-03-21.00:00:00 by admin, last changed by admin.
Notes from the December, 2016 teleconference:
The problem is that the current wording only connects name lookup
with point of instantiation; other semantic checks, such as the
requirement for completeness of a class, should also be performed at
[Detailed description pending.]