From 77a6b079a57df554f234f55942a9d7602f1e32df Mon Sep 17 00:00:00 2001 From: Ofec Israel Date: Sat, 26 Oct 2024 13:55:42 +0300 Subject: [PATCH] Change order of arguments in example --- user_manual.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/user_manual.md b/user_manual.md index e812e001..00b8ffae 100644 --- a/user_manual.md +++ b/user_manual.md @@ -1379,7 +1379,7 @@ In this example, since `xs` was marked with `:list`, the terms `(or l xs)` and ` The next two examples show variants where an incorrect definition of this program is defined. > __Note:__ As mentioned in [list-computation](#list-computation), Eunoia has dedicated support for operators over lists. -For the definition of `contains` in the above example, the term `(contains l c)` is equivalent to `(eo::not (eo::is_neg (eo::find or c l)))`. +For the definition of `contains` in the above example, the term `(contains c l)` is equivalent to `(eo::not (eo::is_neg (eo::list_find or c l)))`. Computing the latter is significantly faster in practice in Ethos. ### Example: Finding a child in an `or` term (incorrect version) @@ -1392,7 +1392,7 @@ Computing the latter is significantly faster in practice in Ethos. ( ((contains false l) false) ((contains (or l xs) l) true) - ((contains (or x xs) l) (contains l xs)) + ((contains (or x xs) l) (contains xs l)) ) ) ``` @@ -1412,7 +1412,7 @@ However, `(contains (or a b c) a)` does not evaluate in this example. ( ((contains false l) false) ((contains (or l xs) l) true) - ((contains (or x xs) l) (contains l xs)) + ((contains (or x xs) l) (contains xs l)) ) ) ```