Datatyping Summary


Unclear: xml:lang, model theory, abstract syntax

Is this good enough for now?