@@ -58,7 +58,7 @@ same, but constructs a vector.
5858These are not directly useful in implementing the patterns above, but
5959do make it easier to write examples and tests.
6060
61- @section[#:tag-prefix "a5 - " #:style 'unnumbered #:tag "list " ]{List patterns}
61+ @section[#:tag-prefix "a8 - " #:style 'unnumbered #:tag "list " ]{List patterns}
6262
6363The @racket[(list _p1 ... _pn)] pattern matches a list of elements. The
6464pattern matches a list with as many elements as there are patterns
@@ -76,7 +76,7 @@ respective pattern.
7676 [(list (list x) (list 2 )) x])
7777]
7878
79- @section[#:tag-prefix "a5 - " #:style 'unnumbered #:tag "vector " ]{Vector patterns}
79+ @section[#:tag-prefix "a8 - " #:style 'unnumbered #:tag "vector " ]{Vector patterns}
8080
8181The @racket[(vector _p1 ... _pn)] pattern matches a vector of elements. The
8282pattern matches a vector with as many elements as there are patterns
@@ -94,7 +94,7 @@ respective pattern.
9494 [(vector (vector x) (vector 2 )) x])
9595]
9696
97- @section[#:tag-prefix "a5 - " #:style 'unnumbered #:tag "vector " ]{Predicate patterns}
97+ @section[#:tag-prefix "a8 - " #:style 'unnumbered #:tag "vector " ]{Predicate patterns}
9898
9999The @racket[(? _f)] pattern matches any value for which the predicate
100100@racket[_f] returns a true value (any value other than @racket[#f ])
@@ -116,7 +116,7 @@ the name of a user defined function.
116116]
117117
118118
119- @section[#:tag-prefix "a5 - " #:style 'unnumbered ]{Submitting}
119+ @section[#:tag-prefix "a8 - " #:style 'unnumbered ]{Submitting}
120120
121121Submit a zip file containing your work to Gradescope. Use @tt{make
122122submit.zip} from within the @tt{knock-plus} directory to create a zip
0 commit comments