Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
AbolishUntaggedPlain.html | 2024-02-02 09:21 | 15K | ||
AbolishUntaggedPlain_source.html | 2024-02-02 09:21 | 13K | ||
EntailmentProposal.html | 2024-02-02 09:21 | 15K | ||
EntailmentProposal_source.html | 2024-02-02 09:21 | 12K | ||
LangTagDatatypes.html | 2024-02-02 09:21 | 11K | ||
LangTagDatatypes_source.html | 2024-02-02 09:21 | 10K | ||
LanguageTaggedLiteralDatatypeProposal.html | 2024-02-02 09:21 | 21K | ||
LanguageTaggedStringDatatypeProposal.html | 2024-02-02 09:21 | 20K | ||
LanguageTaggedStringDatatypeProposal_source.html | 2024-02-02 09:21 | 17K | ||
SyntacticSugarProposal.html | 2024-02-02 09:21 | 11K | ||
SyntacticSugarProposal_source.html | 2024-02-02 09:21 | 11K | ||