On Tuesday, September 5, 2017 at 2:03:36 PM UTC-7, Laverne Schrock wrote:
>
>
> On Tuesday, September 5, 2017 at 1:50:59 PM UTC-5, Russell Mull wrote:
>>
>> It's not really clear what you're trying to do, so it's hard to offer
>> further advice.
>>
>
> Essentially, what I'm trying to do is pass
On Tuesday, September 5, 2017 at 1:50:59 PM UTC-5, Russell Mull wrote:
>
> On Monday, September 4, 2017 at 7:49:11 AM UTC-7, Laverne Schrock wrote:
>>
>> When I run (run* [q] (fresh [x] (== [x] ['z]) (== q x))), I get (z),
>> which makes sense.
>>
>> When I run (run* [q] (fresh [x] (== q x))), I
On Monday, September 4, 2017 at 7:49:11 AM UTC-7, Laverne Schrock wrote:
>
> When I run (run* [q] (fresh [x] (== [x] ['z]) (== q x))), I get (z),
> which makes sense.
>
> When I run (run* [q] (fresh [x] (== q x))), I get (_0), which makes sense
> since I've placed no restriction on x.
>
> However
When I run (run* [q] (fresh [x] (== [x] ['z]) (== q x))), I get (z), which
makes sense.
When I run (run* [q] (fresh [x] (== q x))), I get (_0), which makes sense
since I've placed no restriction on x.
However, when I run (run* [q] (fresh [x] (== ['x] ['z]) (== q x))), I get
(), which doesn't m