Commit 0911db00 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢

Fix whitespace and typos

parent 30571a9a
......@@ -105,7 +105,7 @@ rationalHelp =
<> Doc.annotate Doc.bold "Coalgebra syntax:"
<+> Doc.reflow "'{' X ':' rational, ... '}'"
<> Doc.line
<> Doc.reflow " Notes that rationals currently have the same syntax as reals \
<> Doc.reflow " Note that rationals currently have the same syntax as reals \
\and proper fractions are not supported."
newtype OrderedComplex = OrderedComplex (Complex EqDouble)
......
......@@ -14,7 +14,7 @@ module Copar.Functors.MonoidValued
, minIntValued
, maxRealValued
, minRealValued
, andWordValued
, andWordValued
, orWordValued
)
where
......
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