phino 0.0.97 → 0.0.98

raw patch · 3 files changed

+21/−1 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• phino.cabal +1/−1
• resources/normalize/overa.yaml +15/−0
• test/CLISpec.hs +5/−0

@@ -1,6 +1,6 @@ cabal-version: 3.0 name: phino-version: 0.0.97+version: 0.0.98 license: MIT synopsis: Command-Line Manipulator of 𝜑-Calculus Expressions description: Please see the README on GitHub at <https://github.com/objectionary/phino#readme>

@@ -0,0 +1,15 @@+# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com+# SPDX-License-Identifier: MIT+---+name: overa+pattern: ⟦𝐵1, 𝜏 ↦ 𝑒1, 𝐵2⟧(α𝑖 ↦ 𝑒2)+result: ⊥+when:+  and:+    - eq:+        - 𝑖+        - domain: 𝐵1+    - not:+        eq:+          - 𝜏+          - ρ

@@ -1028,6 +1028,11 @@             , "  { T }"             , "  { \\tau \\not= \\phiTerminal{\\rho} }"             , "  { }"+            , "\\phinoNormalizationRule{overa}"+            , "  { [[ B_1, \\tau -> e_1, B_2 ]] ( \\phiTerminal{\\alpha_{i}} -> e_2 ) }"+            , "  { T }"+            , "  { i = \\vert \\overline{ B_1 } \\vert \\;\\text{and}\\; \\tau \\not= \\phiTerminal{\\rho} }"+            , "  { }"             , "\\phinoNormalizationRule[\\phi]{phi}"             , "  { [[ B ]] . \\tau }"             , "  { [[ B ]] . @ . \\tau }"