Commit 54b3d357 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢

Fix typo and whitespace

parent 5ea20d5e
......@@ -63,7 +63,7 @@ intHelp =
Doc.reflow "Weighted systems with integer weights"
<> Doc.line <> Doc.line
<> Doc.annotate Doc.bold "Functor syntax:"
<+> Doc.reflow "Z^F | ℤ^F"
<+> Doc.reflow "Z^X | ℤ^X"
<> Doc.line <> Doc.line
<> Doc.annotate Doc.bold "Coalgebra syntax:"
<+> Doc.reflow "'{' X ':' int, ... '}'"
......
......@@ -42,9 +42,9 @@ spec = do
maxIntRefineSpec
minIntRefineSpec
maxRealParseSpec
minRealParseSpec
minRealParseSpec
maxRealRefineSpec
minRealRefineSpec
minRealRefineSpec
andWordParseSpec
andWordRefineSpec
orWordParseSpec
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment