Tweak stream rule to work (untested) #884
Annotations
2 warnings
|
Run haskell-actions/hlint-run@v2:
eo-phi-normalizer/src/Language/EO/Phi/ToLaTeX.hs#L87
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\""
|
|
Run haskell-actions/hlint-run@v2:
eo-phi-normalizer/src/Language/EO/Phi/ToLaTeX.hs#L98
Suggestion in module Language.EO.Phi.ToLaTeX: Move brackets to avoid $ ▫︎ Found: "(inMathMode $ toLatex nf_inside_formation)\n <> \" is nf inside formation\"" ▫︎ Perhaps: "inMathMode (toLatex nf_inside_formation)\n <> \" is nf inside formation\""
|
Loading