Published package / CLIR
logic.comparisons
v0.1.0Сопоставления систем: общий фрагмент, различие принципов и правил, условие переноса метода, отношение ограничения, двойной отрицательный перевод
Imports
| Package | Version | contentHash of the edge | |
|---|---|---|---|
| logic.calculi | 0.1.0 | sha256:0388c7183d4e… | |
| logic.classical | 0.1.0 | sha256:86d12c81b1f9… | |
| logic.core | 0.1.0 | sha256:76c336ef0ac3… | |
| logic.intuitionistic | 0.1.0 | sha256:23d3ab77e518… | |
| logic.methods | 0.1.0 | sha256:a3f78bea7c22… | |
| logic.semantics | 0.1.0 | sha256:ce5576f4f766… | |
| logic.syntax | 0.1.0 | sha256:aa44d5553d6d… |
An edge is pinned by contentHash, not by a version name: the world of a program is closed by the lock. The mark “diverged from the bytes” means the dependency hash recorded in the package did not match its current bytes — the arrow is there, but it has gone stale.
Packages importing this one
Nobody.