sem-langを理解するために

語や表現の意味を明示し、解釈に使う定義を扱うための基盤です。

解釈に使う対象、採用する定義、根拠、時点を明らかにして情報を扱います。

意味が解決した結果と追加の判断が必要な状態を区別します。解釈結果そのものは外部操作の許可にはなりません。

公開パッケージの提供状況と利用条件は、導入ページで確認できます。