phino 0.0.92 → 0.0.93
raw patch · 3 files changed
+9/−9 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- phino.cabal +1/−1
- src/LaTeX.hs +1/−1
- test/CLISpec.hs +7/−7
phino.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: phino-version: 0.0.92+version: 0.0.93 license: MIT synopsis: Command-Line Manipulator of 𝜑-Calculus Expressions description: Please see the README on GitHub at <https://github.com/objectionary/phino#readme>
src/LaTeX.hs view
@@ -297,7 +297,7 @@ toLaTeX mh = mh instance ToLaTeX BYTES where- toLaTeX (BT_META meta) = BT_PIPED (BT_META (toLaTeX meta))+ toLaTeX (BT_META meta) = BT_META (toLaTeX meta) toLaTeX bts = BT_PIPED bts instance ToLaTeX APP_ARG where
test/CLISpec.hs view
@@ -1108,22 +1108,22 @@ [ "\\begin{phinoDataizationInference}" , " \\phinoName{delta}" , " \\phinoLabel{\\Delta}"- , " \\phinoConclusion{ \\phinoDataize{ [[ B_1, D> |\\delta|, B_2 ]] }{ e }{ s }{ |\\delta| }{ s } }"+ , " \\phinoConclusion{ \\phinoDataize{ [[ B_1, D> \\delta, B_2 ]] }{ e }{ s }{ \\delta }{ s } }" , "\\end{phinoDataizationInference}" , "\\begin{phinoDataizationInference}" , " \\phinoName{box}" , " \\phinoCondition{ [ D, L ] \\cap \\lparen B_1 \\cup B_2 \\rparen = \\emptyset }" , " \\phinoPremise{ \\phinoContextualize{ e_1 }{ [[ B_1, @ -> e_1, B_2 ]] }{ n } }" , " \\phinoPremise{ \\phinoNormalize{ n }{ n_1 } }"- , " \\phinoPremise{ \\phinoDataize{ n_1 }{ e }{ s_1 }{ |\\delta| }{ s_2 } }"- , " \\phinoConclusion{ \\phinoDataize{ [[ B_1, @ -> e_1, B_2 ]] }{ e }{ s_1 }{ |\\delta| }{ s_2 } }"+ , " \\phinoPremise{ \\phinoDataize{ n_1 }{ e }{ s_1 }{ \\delta }{ s_2 } }"+ , " \\phinoConclusion{ \\phinoDataize{ [[ B_1, @ -> e_1, B_2 ]] }{ e }{ s_1 }{ \\delta }{ s_2 } }" , "\\end{phinoDataizationInference}" , "\\begin{phinoDataizationInference}" , " \\phinoName{fire}" , " \\phinoPremise{ \\phinoEvaluate{ [[ B_1, L> F, B_2 ]] }{ e }{ s_1 }{ n }{ s_2 } }" , " \\phinoPremise{ \\phinoNormalize{ n }{ n_1 } }"- , " \\phinoPremise{ \\phinoDataize{ n_1 }{ e }{ s_2 }{ |\\delta| }{ s_3 } }"- , " \\phinoConclusion{ \\phinoDataize{ [[ B_1, L> F, B_2 ]] }{ e }{ s_1 }{ |\\delta| }{ s_3 } }"+ , " \\phinoPremise{ \\phinoDataize{ n_1 }{ e }{ s_2 }{ \\delta }{ s_3 } }"+ , " \\phinoConclusion{ \\phinoDataize{ [[ B_1, L> F, B_2 ]] }{ e }{ s_1 }{ \\delta }{ s_3 } }" , "\\end{phinoDataizationInference}" , "\\begin{phinoDataizationInference}" , " \\phinoName{none}"@@ -1138,8 +1138,8 @@ , " \\phinoName{norm}" , " \\phinoCondition{ \\phinoNotFormation{ n } \\;\\text{and}\\; n \\not= T }" , " \\phinoPremise{ \\phinoMorph{ n }{ e }{ s_1 }{ n_1 }{ s_2 } }"- , " \\phinoPremise{ \\phinoDataize{ n_1 }{ e }{ s_2 }{ |\\delta| }{ s_3 } }"- , " \\phinoConclusion{ \\phinoDataize{ n }{ e }{ s_1 }{ |\\delta| }{ s_3 } }"+ , " \\phinoPremise{ \\phinoDataize{ n_1 }{ e }{ s_2 }{ \\delta }{ s_3 } }"+ , " \\phinoConclusion{ \\phinoDataize{ n }{ e }{ s_1 }{ \\delta }{ s_3 } }" , "\\end{phinoDataizationInference}" ] ]