phino-0.0.0.75: resources/normalize/null.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- name: 'null' pattern: ⟦𝐵1, 𝜏 ↦ ∅, 𝐵2⟧.𝜏 result: ⊥
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- name: 'null' pattern: ⟦𝐵1, 𝜏 ↦ ∅, 𝐵2⟧.𝜏 result: ⊥