From 66e5da7d59a2a454df35cf991febf3fe56f937ec Mon Sep 17 00:00:00 2001 From: Naitik Mundra Date: Fri, 9 Aug 2024 14:13:01 +0200 Subject: [PATCH] Fix grammar in dups-and-sups.md --- docs/dups-and-sups.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/dups-and-sups.md b/docs/dups-and-sups.md index 06a2c5728..9d3819d48 100644 --- a/docs/dups-and-sups.md +++ b/docs/dups-and-sups.md @@ -31,7 +31,7 @@ let {x1 x2} = {1 2} ``` Due to how duplications are compiled, when two dups interact, they destructively interfere with each other. -In this case the result doesn't follow the expected behavior (it's well defined at the HVM level, but doesn't is incorrect at a lambda-calculus level). +In this case the result doesn't follow the expected behavior (it's well defined at the HVM level, but is incorrect at a lambda-calculus level). That imposes a strong restriction on correct Bend programs: a variable should not duplicate another variable that itself duplicates some variables. @@ -57,4 +57,4 @@ def main: ``` In this case, we can only have one source of duplication, or our results will be incorrect. -Either List/map is linear (doesn't duplicate `f`) or the passed function is linear (doesn't duplicate `x` or any other variable inside it). \ No newline at end of file +Either List/map is linear (doesn't duplicate `f`) or the passed function is linear (doesn't duplicate `x` or any other variable inside it).