Guides and documentation
sem-lang concepts and usage
Explore definitions, context, semantic outcomes and diagnostics.
Define meaning
A foundation for explicit definitions of words and expressions used during interpretation.
Make context explicit
Make the subject, adopted definitions, evidence and evaluation instant explicit.
Inspect outcomes and diagnostics
Distinguish resolved outcomes from cases needing further resolution. A semantic outcome does not authorize an external operation.
Check availability
Check the setup page for public package availability and usage conditions.