Remove duplicated comparison section

Author: odersky

content/typeclasses-syntax.md

@@ -555,7 +555,7 @@ one would have to put the function in parentheses, in both current and proposed
   given Context as context = deferred
 
   // By-name given
-  given => Context as context = ctx
+  given => Context as context = curCtx
 ```
 **Notes:**
 
@@ -597,7 +597,7 @@ As an alternative, here is a version of new style given, but using the current `
   given context: Context = deferred
 
   // By-name given
-  given context: => Context = ctx
+  given context: => Context = curCtx
 ```
 **Notes:**
 
@@ -621,184 +621,3 @@ which also covers the other prospective changes slated to be proposed in two fut
 existing implementation techniques for type classes.
 
 The changes proposed in this SIP are time-sensitive since we would like to correct some awkward syntax choices in Scala 3 before more code migrates to the new constructs (so far, it seems most code still uses Scala 2 style implicits, which will eventually be phased out). It is easy to migrate to the new syntax and to support both old and new for a transition period.
-
-## Comparison
-
-**Current, Anonymous**
-
-```scala
-  // Simple typeclass
-  given Ord[Int] with
-    def compare(x: Int, y: Int) = ...
-
-  // Parameterized typeclass
-  given [A: Ord]: Ord[List[A]] with
-    def compare(x: List[A], y: List[A]) = ...
-
-  // Typeclass with using clause
-  given [A](using Ord[A]): Ord[List[A]] with
-    def compare(x: List[A], y: List[A]) = ...
-
-  // Simple alias
-  given Ord[Int] = IntOrd()
-
-  // Parameterized alias
-  given [A: Ord]: Ord[List[A]] =
-    ListOrd[A]()
-
-  // Alias with using clause
-  given [A](using Ord[A]): Ord[List[A]] =
-    ListOrd[A]
-
-  // Concrete class instance
-  given Context with {}
-
-  // Abstract or deferred given
-  // given Context   // can't be expressed
-
-  // By-name given
-  given [DummySoItsADef]: Context = curCtx
-```
-
-**Proposal, Anonymous**
-
-```scala
-  // Simple typeclass
-  given Ord[Int]:
-    def compare(x: Int, y: Int) = ...
-
-  // Parameterized typeclass
-  given [A: Ord] => Ord[List[A]]:
-    def compare(x: List[A], y: List[A]) = ...
-
-  // Typeclass with using clause
-  given [A](using Ord[A]) => Ord[List[A]]:
-    def compare(x: List[A], y: List[A]) = ...
-
-  // Simple alias
-  given Ord[Int] = IntOrd()
-
-  // Parameterized alias
-  given [A: Ord] => Ord[List[A]] =
-    ListOrd[A]()
-
-  // Alias with using clause
-  given [A](using Ord[A]) => Ord[List[A]] =
-    ListOrd[A]
-
-  // Concrete class instance
-  given Context
-
-  // Abstract or deferred given
-  given Context = deferred
-
-  // By-name given
-  given => Context = curCtx
-```
-**Current, Named**
-
-```scala
-  // Simple typeclass
-  given intOrd: Ord[Int] with
-    def compare(x: Int, y: Int) = ...
-
-  // Parameterized typeclass
-  given listOrd: [A: Ord]: Ord[List[A]] with
-    def compare(x: List[A], y: List[A]) = ...
-
-  // Typeclass with using clause
-  given [A](using Ord[A]): Ord[List[A]] with
-    def compare(x: List[A], y: List[A]) = ...
-
-  // Simple alias
-  given intOrd: Ord[Int] = IntOrd()
-
-  // Parameterized alias
-  given listOrd[A: Ord]: Ord[List[A]] =
-    ListOrd[A]()
-
-  // Alias with using clause
-  given listOrd[A](using Ord[A]): Ord[List[A]] =
-    ListOrd[A]
-
-  // Concrete class instance
-  given context: Context with {}
-
-  // Abstract or deferred given
-  given context: Context
-
-  // By-name given
-  given context[DummySoItsADef]: Context = curCtx
-```
-
-**Proposal, Named**
-
-```scala
-  // Simple typeclass
-  given Ord[Int] as intOrd:
-    def compare(x: Int, y: Int) = ...
-
-  // Parameterized typeclass
-  given [A: Ord] => Ord[List[A]] as listOrd:
-    def compare(x: List[A], y: List[A]) = ...
-
-  // Typeclass with using clause
-  given [A](using Ord[A]) => Ord[List[A]] as listOrd:
-    def compare(x: List[A], y: List[A]) = ...
-
-  // Simple alias
-  given Ord[Int] as intOrd = IntOrd()
-
-  // Parameterized alias
-  given [A: Ord] => Ord[List[A]] as listOrd =
-    ListOrd[A]()
-
-  // Alias with using clause
-  given [A](using Ord[A]) => Ord[List[A]] as listOrd =
-    ListOrd[A]
-
-  // Concrete class instance
-  given Context as context
-
-  // Abstract or deferred given
-  given Context as context = deferred
-
-  // By-name given
-  given => Context as context = ctx
-```
-
-**Proposal, Named in Current Style**
-
-```scala
-  // Simple typeclass
-  given intOrd: Ord[Int]:
-    def compare(x: Int, y: Int) = ...
-
-  // Parameterized typeclass
-  given listOrd: [A: Ord] => Ord[List[A]]:
-    def compare(x: List[A], y: List[A]) = ...
-
-  // Typeclass with using clause
-  given listOrd: [A](using Ord[A]) => Ord[List[A]]:
-    def compare(x: List[A], y: List[A]) = ...
-
-  // Simple alias
-  given intOrd: Ord[Int] = IntOrd()
-
-  // Parameterized alias
-  given listOrd: [A: Ord] => Ord[List[A]] =
-    ListOrd[A]()
-
-  // Alias with using clause
-  given listOrd: [A](using Ord[A]) => Ord[List[A]] =
-    ListOrd[A]
-
-  // Concrete class instance
-  given context: Context // this would be a change of meaning from abstract given
-
-  // Abstract or deferred given
-  given context: Context = deferred
-
-  // By-name given
-  given context: => Context = ctx
-```