Skip to content

Commit 70229a5

Browse files
committed
Fix a list by adding missing , to its elements in derivation.md
1 parent d2de7fc commit 70229a5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/docs/reference/contextual/derivation.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -295,7 +295,7 @@ given derived$Eq[T](using eqT: Eq[T]): Eq[Opt[T]] =
295295
eqSum(
296296
summon[Mirror[Opt[T]]],
297297
List(
298-
eqProduct(summon[Mirror[Sm[T]]], List(summon[Eq[T]]))
298+
eqProduct(summon[Mirror[Sm[T]]], List(summon[Eq[T]])),
299299
eqProduct(summon[Mirror[Nn.type]], Nil)
300300
)
301301
)

0 commit comments

Comments
 (0)