From d344e38b1e642a87b383560fc0aa61ca4b1a81a3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Friedger=20M=C3=BCffke?= Date: Fri, 3 Dec 2021 10:15:34 +0100 Subject: [PATCH] Update language-types.md --- src/pages/references/language-types.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pages/references/language-types.md b/src/pages/references/language-types.md index bed6a185..5676b9b1 100644 --- a/src/pages/references/language-types.md +++ b/src/pages/references/language-types.md @@ -10,7 +10,7 @@ images: The type system contains the following types: -- `{label-0: value-type-0, name-1 value-type-1, ...}` - +- `{label-0: value-type-0, label-1: value-type-1, ...}` - a group of data values with named fields, aka (_record_)[https://www.cs.cornell.edu/courses/cs312/2004fa/lectures/lecture3.htm]. - `(list max-len entry-type)` - a list of maximum length `max-len`, with entries of type `entry-type`