0.5.91
10.1 Specification Language
| #lang ricoeur/tei/spec-lang | package: ricoeur-tei-utils |
A vital purpose of this library is to specify the precise structure
of Digital Ricœur’s TEI XML documents.
This specifcation operates on several different levels, including:
The prose documentation rendered in the Formal Specification section of TEI Encoding Guidelines for Digital Ricœur;
The computer-verifiable contracts that enforce the specification (see tei-xexpr/c); and
The implementation of the TEI element struct types that provide an initial layer of abstraction over the details of the documents’ structure.
To ensure consistency, all of these operationalizations of the specification are defined together in the language #lang ricoeur/tei/spec-lang.