Fix typo in rule R_rho and add more tests #1040
Annotations
1 warning
|
Run haskell-actions/hlint-run@v2:
eo-phi-normalizer/src/Language/EO/Phi/ToLaTeX.hs#L111
Suggestion in module Language.EO.Phi.ToLaTeX: Move brackets to avoid $ ▫︎ Found: "(inMathMode $ toLatex x) <> \" is the scope of the redex\"" ▫︎ Perhaps: "inMathMode (toLatex x) <> \" is the scope of the redex\""
|
Loading