From 3fe39b98372d47dbd4679e8a07f64bf0e663b6e7 Mon Sep 17 00:00:00 2001 From: Arturs Kirtovskis Date: Mon, 29 Mar 2021 08:15:03 +0300 Subject: [PATCH] fix(docs): minor typo --- reference.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/reference.md b/reference.md index 13562e6..0627b3b 100644 --- a/reference.md +++ b/reference.md @@ -161,7 +161,7 @@ admit lists, tuples only admit tuples, bools only admit bools. * A list type `A` admits another list type `B` iff `A.max-len >= B.max-len` and `A.entry-type` admits `B.entry-type`. * A buffer type `A` admits another buffer type `B` iff `A.max-len >= B.max-len`. -* An optional type `A` admits another optional type `B` iff: +* An optional type `A` admits another optional type `B` if: * `A.some-type` admits `B.some-type` _OR_ `B.some-type` is an unknown type: this is the case if `B` only ever corresponds to `none` * A response type `A` admits another response type `B` if one of the following is true: