From 9d8eacf9672990b85179b8e104bc1e35256a5a0e Mon Sep 17 00:00:00 2001 From: Lucas Morton <23484003+lamorton@users.noreply.github.com> Date: Sun, 28 Aug 2022 19:16:52 -0700 Subject: [PATCH] Typo in README Two letters off. --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index f76d59b..583c171 100644 --- a/README.md +++ b/README.md @@ -52,8 +52,8 @@ Construct a new term with the operation `f` and arguments `args`, the term shoul #### `unsorted_arguments(x)` -If x is a term satisfying `istree(x)` and your term type `T` orovides -and optimized implementation for storing the arguments, this function can +If x is a term satisfying `istree(x)` and your term type `T` provides +an optimized implementation for storing the arguments, this function can be used to retrieve the arguments when the order of arguments does not matter but the speed of the operation does. Defaults to `arguments(x)`. @@ -69,4 +69,4 @@ Define this for your symbolic types if you want `SymbolicUtils.simplify` to appl specific to numbers (such as commutativity of multiplication). Or such rules that may be implemented in the future. - \ No newline at end of file +