From b30a4b1763328b2eb89bbcfa335e171205f78113 Mon Sep 17 00:00:00 2001 From: Luca Beurer-Kellner Date: Fri, 14 Jul 2023 17:31:34 +0200 Subject: [PATCH] update docs --- docs/source/language/overview.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/source/language/overview.md b/docs/source/language/overview.md index 2e97c18d..e615c007 100644 --- a/docs/source/language/overview.md +++ b/docs/source/language/overview.md @@ -124,5 +124,4 @@ As shown here, we can use the `if` statement to dynamically react to the model's To learn more about the capabilities of such control-flow-guided prompts, see [Scripted Prompting](./scripted_prompts.md). -As shown here, in addition to inline `where` expressions as seen earlier, you can also provide a global `where` expression at the end of your program, e.g. to specify constraints that should apply for all variables. Depending on your use case, this can be a convenient way to avoid having to repeat the same constraints multiple times, like for `FURTHER_ANALYSIS` in this example. - +As shown here, in addition to inline `where` expressions as seen earlier, you can also provide a global `where` expression at the end of your program, e.g. to specify constraints that should apply for all variables. Depending on your use case, this can be a convenient way to avoid having to repeat the same constraints multiple times, like for `FURTHER_ANALYSIS` in this example. \ No newline at end of file