From 84939ada12ef5c43bf289827d4e9d3295a596997 Mon Sep 17 00:00:00 2001
From: valterbergstrand <112329564+valterbergstrand@users.noreply.github.com>
Date: Fri, 30 Sep 2022 16:09:56 +0200
Subject: [PATCH] substituted `g +: gs` with `Vector(g,gs*)`

---
 slides/body/lect-w06-matching.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/slides/body/lect-w06-matching.tex b/slides/body/lect-w06-matching.tex
index 4f100e837..99639d48a 100644
--- a/slides/body/lect-w06-matching.tex
+++ b/slides/body/lect-w06-matching.tex
@@ -209,9 +209,10 @@
   case Vector(Gurka(v, true)) => s"en rutten gurka som väger $v"
   case Vector(g)              => s"exakt en grönsak: $g"
   case Vector(g1, g2)         => s"exakt två grönsaker: $g1, $g2"
-  case g +: gs                => s"först en $g och sedan svansen: $gs"
+  case Vector(g, gs*)         => s"först en $g och sedan svansen: $gs"
 \end{Code}
 Vad händer om du byter ordning på andra och tredje mönstret?
+\code{Vector(g, gs*)} kan också skrivas som \code{g +: gs}
 \end{Slide}
 
 \begin{Slide}{Matchning på tupler}