phino-0.0.152: test-resources/rewriter-packs/basic/dot-recursive.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- rules: basic: ['dot'] input: | ⟦ a ↦ ξ.b ⟧.a output: |- ⟦⟧.b (ρ ↦ ⟦ a ↦ ξ.b ⟧)
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- rules: basic: ['dot'] input: | ⟦ a ↦ ξ.b ⟧.a output: |- ⟦⟧.b (ρ ↦ ⟦ a ↦ ξ.b ⟧)