Fixed some whitespace, did a minor renaming, and fixed a bug in DependentTypes

Author: Dean Wampler

src/main/scala/progscala3/concurrency/futures/FutureCallbacks.scala

@@ -17,4 +17,4 @@ val doComplete: Try[String] => Unit =                                // <2>
     case i if i % 2 == 0 => Future.successful(i.toString)
     case i => Future.failed(ThatsOdd(i))
   }
-  futures.map(_.onComplete(doComplete))                     // <5>
+  futures.map(_.onComplete(doComplete))                              // <5>

src/main/scala/progscala3/concurrency/futures/FutureFold.scala

@@ -7,7 +7,7 @@ import scala.concurrent.ExecutionContext.Implicits.global
 
 @main def TryFutureFold =
   var accumulator = ""                                                 // <1>
-  def update(s:String) = accumulator.synchronized { accumulator += s}
+  def update(s:String) = accumulator.synchronized { accumulator += s }
 
   val futures = (0 to 9) map {                                         // <2>
     i => Future {

src/script/scala/progscala3/meta/compiletime/SummonAll.scala

@@ -2,8 +2,8 @@
 import scala.compiletime.summonAll
 
 trait C; trait D; trait E
-given a: C with {}
-given b: D with {}
+given c: C with {}
+given d: D with {}
 
 summonAll[C *: D *: EmptyTuple]
 summonAll[C *: D *: E *: EmptyTuple]                            // <1>

src/script/scala/progscala3/typesystem/deptypes/DependentTypes.scala

@@ -1,7 +1,6 @@
 // tag::dtlist[]
 // src/script/scala/progscala3/typesystem/deptypes/DependentTypes.scala
 
-import scala.compiletime.ops.S
 import scala.compiletime.ops.int.*
 
 sealed trait DTList[N <: Int]:                                       // <1>