#86, Example 2.2.5.2 readability minor issue, fixed (#87)

Signed-off-by: Andreas Roehler <[email protected]>
winitzki · Jan 16, 2024 · 45aeabf · 45aeabf
1 parent 731fa3a
commit 45aeabf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/sofp-src/sofp-induction.lyx b/sofp-src/sofp-induction.lyx
@@ -15046,7 +15046,7 @@ status open
 
 \begin_layout Plain Layout
 
-scala> type D4 = (Double, Double, Double, Double)
+scala> type D4 = (Double, Double, Double, Int)
 \end_layout
 
 \begin_layout Plain Layout
@@ -15092,7 +15092,7 @@ def f(xs: Seq[Double]): (Double, Double, Double) = {
 
 \begin_layout Plain Layout
 
-  val init: D4 = (Double.PositiveInfinity, Double.NegativeInfinity, 0, 0)
+  val init: D4 = (Double.PositiveInfinity, Double.NegativeInfinity, 0.0, 0)
 \end_layout
 
 \begin_layout Plain Layout