phino-0.0.83: resources/normalize/dca.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- name: dca pattern: ⊥(α𝑖 ↦ 𝑒) result: ⊥
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- name: dca pattern: ⊥(α𝑖 ↦ 𝑒) result: ⊥