Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP

Compare: Constraints & modes

Showing with 3 additions and 3 deletions.
  1. +3 −3 Constraints-&-modes.md
View
6 Constraints-&-modes.md
@@ -14,9 +14,9 @@ The body of the constraint would run when one of the modes have been satisfied.
### Complications
-It turns out that implementing assoc isn't quite as simple as it sounds. When going in "reverse" there actually mutiple possibilities if the first argument to `assocc` is fresh. This leads me to think a better test of this functionality would be proper implementation of `conjo` which would be polymorphic on it's input and output argument.
+It turns out that implementing assoc isn't quite as simple as it sounds. When going in "reverse" there actually mutiple possibilities if the first argument to `assocc` is fresh. This leads me to think a better test of this functionality would be a proper implementation of `conjo` which would be polymorphic on its input and output arguments.
-Imagine the following where `coll`, `v` are fresh. `o` is a bound to a map.
+Imagine the following where `v` is fresh and `o` is a bound to a map.
```clj
(run* [q]
@@ -25,7 +25,7 @@ Imagine the following where `coll`, `v` are fresh. `o` is a bound to a map.
(conjo q [:foo v] o)))
```
-There are two possiblities, either `q` is a map that doesn't include the entry, or it included the entry and it has some yet unknown value. So we should see the following results:
+There are two possiblities, either `q` is a map that doesn't include the entry, or it had the entry for some yet unknown value. So we should see the following results:
```clj
({} {:foo _0})
Something went wrong with that request. Please try again.