From 484c44a0c8a9ea11ea2dcad816b5ccc45e3d9c36 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Friedger=20M=C3=BCffke?= Date: Fri, 3 Dec 2021 10:14:59 +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 05b737a5..bed6a185 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: -- `(tuple (key-name-0 key-type-0) (key-name-1 key-type-1) ...)` - +- `{label-0: value-type-0, name-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`