Browse Source

Update language-types.md

friedger-patch-7
Friedger Müffke 3 years ago
committed by GitHub
parent
commit
d344e38b1e
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      src/pages/references/language-types.md

2
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`

Loading…
Cancel
Save