diff --git a/src/types/enum.md b/src/types/enum.md index fca7851aa..8f69dbad8 100644 --- a/src/types/enum.md +++ b/src/types/enum.md @@ -16,7 +16,7 @@ corresponding `enum` type, as well as the size needed to store a discriminant. Enum types cannot be denoted *structurally* as types, but must be denoted by named reference to an [`enum` item]. -[^enumtype]: ../The `enum` type is analogous to a `data` constructor declaration in +[^enumtype]: The `enum` type is analogous to a `data` constructor declaration in ML, or a *pick ADT* in Limbo. [`enum` item]: ../items/enumerations.md diff --git a/src/types/struct.md b/src/types/struct.md index 40ddb73ac..1f20dbb3c 100644 --- a/src/types/struct.md +++ b/src/types/struct.md @@ -21,7 +21,7 @@ A _unit-like struct_ type is like a struct type, except that it has no fields. The one value constructed by the associated [struct expression] is the only value that inhabits such a type. -[^structtype]: ../`struct` types are analogous to `struct` types in C, the +[^structtype]: `struct` types are analogous to `struct` types in C, the *record* types of the ML family, or the *struct* types of the Lisp family. [`repr` attribute]: ../type-layout.md#representations