Опубликованный пакет / CLIR
logic.deontic
v0.1.0Стандартная деонтическая логика SDL: явно названная формализация, связь с KD, обязанность, разрешение, запрет, границы модели
Импортирует
| Пакет | Версия | contentHash связи | |
|---|---|---|---|
| logic.calculi | 0.1.0 | sha256:0388c7183d4e… | |
| logic.core | 0.1.0 | sha256:76c336ef0ac3… | |
| logic.modal | 0.1.0 | sha256:e27e72c4ea8c… | |
| logic.semantics | 0.1.0 | sha256:ce5576f4f766… | |
| logic.syntax | 0.1.0 | sha256:aa44d5553d6d… |
Связь закрепляется по contentHash, а не по имени версии: мир программы замкнут lock-ом. Метка «разошёлся с байтами» означает, что записанный в пакете хэш зависимости не совпал с её нынешними байтами — стрелка есть, но она протухла.
Импортируют этот пакет
Никто.